AIが100万ドルの数学難問を解決した可能性がある。この分野は二度と以前には戻らない

人工知能が、流体の流れを記述する数学の六大クレイ・ミレニアム懸賞問題の一つであるナビエ・ストークス方程式において、ブレイクスルーを達成したと報じられている。数学者のトリスタン・バックマスターは、同僚のルバント・アルポゲと共にAnthropicのAIを使って大きな進展を遂げたと主張する一方で、OpenAIが彼らの作業を知り、自社の大規模言語モデルで証明を完成させたと告発した。OpenAIはこれらの主張を否定した。この成果が確認されれば、方程式の数学的「爆発」が可能であることを証明する画期的な一歩となる。しかし、証明は問題の特定の定式化に依存しており、一部の専門家はこれが標準的でないと考えているため、問題が本当に解決されたかどうかの議論が生じる可能性がある。この出来事は、チェスの「カスパロフ対ディープ・ブルー」に匹敵する重要な転換点であり、数学界にAI研究における役割と、人間の知的活動への影響を再考させるものとなる。

(出典：Scientific American)