数学突破に関するニュース

OpenAIがAIによるエルデシュ予想の自主解決を主張、数学者の検証後に真偽論争が激化

OpenAIが2026年5月20日に内部の汎用推論モデルが1946年のエルデシュ平面単位距離予想を改善する無限構造族を自主発見したと発表し、数学者が検証を完了。しかしWinzhengはexecutionとgroundingの観点から、形式化