AIが数学の歴史を一夜で塗り替えた
The Mathocalypse
OpenAIが372件の数学の大発見を公開し、その中にはKhotのUnique Games Conjectureの証明も含まれていた。これは計算複雑性理論の長年の未解決問題で、妻のDana Moshkovitzが生涯取り組んできたものだ。しかし、証明は人間には難解で、AIの助けなしには読めないという。数学と理論計算機科学の世界が根底から変わりつつある。
「まるで幻覚剤をやった人が書いたみたい。不明瞭で意味が通らない部分が多く、先行研究の名前をやたらと挙げているのに、不可能性定理があるのになぜ使えるのかの説明がない」