数学家周末测试 Claude Mythos 能否解出开放数十年的 Erdős 第 90 号问题（单位距离问题），结果成功解出。Mythos 未沿用 OpenAI #1196 解法的已知思路，而是反复收敛到一个被数学家称为更简洁、"无解析复杂性"的不同论证，且全程离线、无网络、无信息泄漏。
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.
over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem, aka erdos problem #90. the answer is: yea在 X 查看被引用的帖子
来源：@kimmonismus · x.com