ChatGPT证明了六年难题，图灵奖得主说：高兴早了

一段时长为六年数学证明被ChatGPT破解，但图灵奖得主Richard Sutton指出，当前AI只是“复读机”，真正发现的核心逻辑缺失，高兴太早。

给AI立规矩，AI刚破80年数学难题，数学家们慌了

困扰80年的单位距离难题被OpenAI推理模型独立破解，直接推翻著名数学家Erdős的经典猜想，引发数学界对“答案优先还是过程优先”的激烈争论。

继 OpenAI 后，Anthropic 的 Claude AI 也解出这道 80 年数学难题

OpenAI破解80年数学难题，AI独立推翻单位距离猜想，数学界震惊。

留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题

谷歌DeepMind的AI系统成功自主解决了9道被悬赏数十年的埃尔德什开放问题，每道题的证明成本仅数百美元，并已通过Lean编译器进行形式化验证，彻底消除了AI推理中的幻觉问题。

谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题

谷歌DeepMind发布AlphaProof Nexus，用进化算法与Lean编译器攻克9道数学难题，其中2道悬置56年。

菲尔兹奖得主都看懵了：OpenAI非数学模型首次自主突破80年未解数学难题

OpenAI内部非数学模型首次自主攻克80年未解埃尔德什难题，菲尔兹奖得主高尔斯明确表示这是AI首次实打实解决未解数学问题。

88岁算法祖师爷惊呆，Claude联手GPT攻破30年难题，14页论文0修改

88岁算法祖师爷高德纳再更论文，Claude联手GPT-5.4破解30年难题，14页论文未作修改。