タグ: 数学

OpenAIが単位距離予想を反証、数学者はAIの証明をどう検証したか 2026/8/17
本稿は、OpenAIの社内モデルが出した単位距離予想への反例が数学として流通し始めた地点を、9人の数学者が短く消化し人手で検証した版を発表したところに見る。8月の10件の解法発表でも同じ工程を読み取る。数学者が2日以内に別構成を発表し、発表の「10年間進展がなかった」という主張は8月3日に削除された。
AIが出したヤコビ予想の反例：7次の写像と、人による検証 2026/7/31
1939年以来開いていたヤコビ予想が3次元で偽だと示された。反例は7次の多項式写像ひとつで誰でも確認できるが、難しかったのは証明ではなく探索だったとみられ、2次元は未解決のまま残っている。