Bitter Lessonに関する最新テックニュース
2026年5月22日 OpenAI推論モデル、未解決の数学予想を解いた——70年前のErdős問題に決着
The first AI proof worthy of math's top journal landed and it won't be the last
OpenAIの推論モデルが、数学者ポール・エルデシュが1946年に提示した単位距離幾何学の予想を反証する証明を提示した。代数的整数論の手法を用いており、専門家が現在検証を進めている。AIが「未解決問題に貢献する道具」段階から「単独で結論を提示する主体」段階に踏み込んだ最初の事例の一つ。