タグ: 数学

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