Chubby♨️@kimmonismus · X数学家测试了 Claude Mythos 模型解决开放数十年的 Erdős 问题 #90。值得注意的是，Mythos 未复制 OpenAI 已知解法（题号 #1196），而是反复采用了另一条论证路径，被评价为更“简洁”且无“分析复杂性”，且整个过程与网络隔离。此前，GPT-5.5 已解决过多道 Erdős 问题，深度求索的 Nexus 模型解决了 9 道。此次 Mythos 给出了比现有解法更简洁的证明，凸显了一个 80 年难题在数周内被接连攻破的趋势。
Erdős problem #90 has been open for decades. Over the weekend a mathematician tested whether Claude Mythos could solve it. It did.
But what caught my attention： Mythos didn't replicate the known approach from OpenAI's #1196 solution. It repeatedly settled on a different argument， one the mathematician called cleaner， with "no analytic complications." Air-gapped， no internet， no information leakage.
GPT-5.5 solved numerous Erdős problems earlier this year. DeepMind's Nexus knocked out 9. Now Mythos， with a cleaner proof than the one that already existed.
Problems that survived 80 years are falling in weeks.