据报道Claude Mythos以“巧妙简洁的证明”解决了OpenAI里程碑式的Erdős问题

AI 导读

Anthropic工程师Sholto Douglas表示，Claude Mythos在周末期间解决了OpenAI提出的Erdős单位距离猜想问题，并给出了一个“巧妙简洁的证明”。这一成果被描述为人工智能在数学发现领域存在“严重超前”迹象。

推荐理由

OpenAI 刚破完 70 年猜想，Claude 就整了个更漂亮的证明，AI 做数学不再是哪家独门，能力过剩的信号很明显了。

正文

May 26, 2026

AI News Without the Hype – Curated by Humans

Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.

Subscribe now

Full access to every article on THE DECODER
No ads
Join the comments and community discussions
A weekly AI news recap via mail
6x/year: "AI Radar" — deep dives on the AI topics that matter most
Daily AI news, always up to date
Our full ten-year archive
Covered by a team with 10+ years in AI