OpenAIのAstraが10の主要な数学問題を解決、しかし深い懸念も

8月1日、OpenAIはブログ投稿で、次世代言語モデルであるAstraの内部版が、数学と理論計算機科学における未解決問題10問を解決、または決定的に前進させたと発表した。この問題は、高次元幾何学、符号理論、算術回路計算量、群論、作用素環、量子計算量、格子ベースの暗号、極値組合せ論などの高度なトピックに及ぶ。OpenAIは、この偉業のコストは問題あたり約2000ドル規模のトークンであり、結果は形式証明アシスタントのLeanを使用して検証されたと述べた。この発表は数学界に興奮と懸念の両方を引き起こした。研究者のジェイ・カミンズ氏は、AIが自身が長年取り組んできた問題を初めて解決したことで、その敗北を受け入れるのが難しかったと述べた。投資家のニコラス・ブスタマンテ氏は、問題がプロンプトで解決できる時代に、フィールズ賞の将来に疑問を投げかけ、誰が功績を得るのかと問いかけた。特筆すべきは、フィールズ賞受賞者のヤコブ・ツィマーマン氏が7月下旬にトロント大学の教授職を中断してOpenAIに加わったことだ。彼は数学の能力ではなくAI安全性に焦点を当てている。もう一人のフィールズ賞受賞者であるテレンス・タオ氏は、危険な変化について警告した。AIによる証明の自動生成により、数学は希少性から豊富さへと移行するが、研究者は証明の検証と「消化」に追いつけないと述べた。彼は生のAI証明を、地域の持ち寄りパーティに投げ込まれた「正体不明の動物の死骸」に例え、誰もそれを処理して調理する時間がないと述べた。ツィマーマン氏もまた、専門知識のないユーザーがChatGPTの生の出力を研究室に提出するという「数学的スロップ」の増加を嘆いた。両氏は、有名な予想に対する形式的な解決策が、そのトピックへの資金提供と関心を殺す可能性があると警告した。たとえ人間がその解決策を理解できなくても、理解なしに進歩する学問分野につながると警告した。