#数学証明

2件の記事

OpenAIが2026年8月1日に発表したAstraが非ソフィック群の初構成など27年来の問題を含む10本の証明をLean 4で形式化。ライデン宣言との緊張と政府審査の全貌を解説する。

OpenAI、80年未解決のエルデシュ幾何学問題をAIで証明｜数学研究の転換点

2026年5月、OpenAIの推論モデルが80年間未解決だった平面単位距離問題を自律証明。Fields賞受賞者Tim Gowersが検証し「Annals掲載推薦」と絶賛した事実を分析する。