Claude Opus 5.5 独立复推指数时间假说反证，与 OpenAI 内部模型结果撞车
Claude Opus 5.5 helped verify what may be mathstory's biggest single day
AI 导读
OpenAI 于 10 月 26 日宣布其未发布内部模型给出三项里程碑证明，包括推翻指数时间假说、全维度 Kakeya 猜想与 Stein 限制猜想、以及纯 Yang-Mills 理论存在性证明。
推荐理由
原文梳理了两家实验室在指数时间假说上的独立结果与验证争议，并交代 Lean 形式化验证的局限，读者可以据此把握尚待专家审核的实际成色。