タグ: 数学

OpenAIが単位距離予想を反証、数学者はAIの証明をどう検証したか 2026/8/17
OpenAIの単位距離予想への反例は、発表当日に9人の数学者が短く消化し人手で検証した版を出し、先行研究も特定した。8月の10件の解法発表でも数学者が2日のうちに別構成を示し、「10年間進展なし」の主張は8月3日に削除されたと記録した。
AIが出したヤコビ予想の反例：7次の写像と、人による検証 2026/7/31
ヤコビ予想は、AIの助けで見つかった反例により3次元で偽と分かった。反例は7次の多項式写像ひとつで、代入すれば誰でも確かめられる。難しさは証明でなく探索にあったとみられる（プロンプトと出力は非公表）。2次元は未解決のまま。