OpenAI称AI破解千禧年难题及指数时间假设
OpenAI claims new AI proofs covering half a Millennium Prize problem, the Kakeya…
AI在基础科学领域的推理能力出现范式级突破，直接挑战核心计算假设并触及千禧年难题，值得所有关注AGI能力的从业者密切关注后续验证。
OpenAI claims new AI proofs covering half a Millennium Prize problem, the Kakeya conjecture and a core complexity hypothesis.
OpenAI 声称其新 AI 证明了千禧年大奖难题中一半的问题，包括 Kakeya 猜想和一个核心复杂性假设。
> These problems are in math, computer science and physics, problems top experts had worked on for decades.
> 这些问题涉及数学、计算机科学和物理学，都是顶尖专家钻研数十年的难题。
> The biggest: for about 25 years, the Exponential Time Hypothesis held that certain logic puzzles take time that explodes as they grow. OpenAI’s AI says it proved the hypothesis false, and hundreds of research papers rest on it.
> 其中最大的难题是：约 25 年来，“指数时间假设”认为某些逻辑谜题随着规模增长，所需时间会呈爆炸式增加。OpenAI 的 AI 声称该假设不成立，而数百篇研究论文都建立在该假设之上。
> In math, the AI claims to have cracked the local smoothing conjecture, a 35-year-old puzzle about how waves focus, which also settles the famous Kakeya conjecture. Humans had only solved smaller versions.
> 在数学领域，该 AI 声称破解了局部平滑猜想——一个关于波如何聚焦的 35 年历史难题，同时也解决了著名的 Kakeya 猜想。人类此前仅解决了其较小版本。
> In physics, the AI claims it proved, with full mathematical rigor, that quantum chromodynamics, the theory of the force holding atoms’ cores together, stands on solid math. Its Yang-Mills proof covers half of the $1M “Yang-Mills Existence and Mass Gap” Millennium Prize problem.
> 在物理学领域，该 AI 声称以严格的数学方式证明了量子色动力学（描述将原子核束缚在一起的力的理论）建立在坚实的数学基础之上。其杨-米尔斯证明涵盖了 100 万美元“杨-米尔斯存在性与质量间隙”千禧年大奖难题的一半内容。
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力