斷網解題，Claude Mythos推翻Erdős 80年猜想！比OpenAI更短更漂亮

事件背景

OpenAI曾宣稱其通用推理模型推翻了由著名數學家Paul Erdős於1946年提出的「平面單位距離猜想」，該問題探討平面上n個點最多能有多少對距離恰好為1。此問題長期懸而未決，歷經80年，數學界一直認為上界已於1984年確定。

Mythos模型的突破

根據搜尋結果，Anthropic公司於4月初推出的AI模型Mythos，被指在解決此問題上表現出更短且更優雅的證明路徑，與OpenAI的長篇證明相比，其解法更為精簡。

Mythos模型在取得第一個可行解後即停止推進，顯示其推理過程具有高度效率與精確性，這被視為AI在數學領域自主探索的重要進展。

相關討論與反饋

• 數學界對此突破反應熱烈，有專家指出AI已正式進入科學研究的「無人區」。
• 部分論壇指出，Mythos的表現超越OpenAI，其證明不僅簡潔，且更具美感。
• 然而，也有評論指出，部分搜尋結果中提及的關鍵詞（如「斷網解題」、「Claude」、「短更漂亮」）與實際內容不符，可能為誤傳或誤解。

來源：https://finance.sina.com.cn/stock/t/2026-05-27/doc-inhziqxq0792486.shtml