English(EN) OpenAI says its models refuted the Exponential Time Hypothesis, and the people who proposed it are checking

OpenAI 声称 AI 模型证明了重要的数学和计算机科学猜想

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-27 05:10

OpenAI 宣布其内部 AI 模型已证明了三个重要的数学和理论计算机科学猜想。其中包括局部平滑猜想、指数时间假设（ETH）的证伪，以及量子色动力学存在的严格证明。虽然这些证明已在 Lean 中形式化并公开，但仍有待更广泛的科学界验证。ETH 的提出者已表示，他们的参与不构成对 OpenAI 主张的认证。 AI

影响如果得到验证，这一发展可能极大地推进理论计算机科学和数学，并可能影响算法复杂性和基础物理学研究。

排序理由该集群报告了一个实验室提出的研究主张，涉及数学和理论计算机科学证明，有待社区验证。[lever_c_demoted from research: ic=1 ai=1.0]

在 r/OpenAI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 12 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群报告了一个实验室提出的研究主张，涉及数学和理论计算机科学证明，有待社区验证。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

报道来源 [1]

r/OpenAI TIER_2 English(EN) · /u/ZeroCool86 · 2026-10-27 05:10

OpenAI 表示其模型已证伪指数时间假说，提出者正在核查

<div class="md"><p>On 26 October OpenAI said its internal models proved three results. The first is the local smoothing conjecture in every dimension, which would also settle Kakeya and Stein’s restriction conjecture. The second is a disproof of the Exponential Tim…

本文如何被排名

报道来源 [1]

OpenAI 表示其模型已证伪指数时间假说，提出者正在核查

相关实体

相关话题