ChatGPTで崩れたエルデシュ問題、HNが見たのは魔法より「人間付きAI数学」

見出しは強烈だったが、HNはこれを単純なAIが数学を解いた物語としては受け取らなかった。Scientific Americanによると、23歳のLiam PriceはChatGPT Proを使い、primitive setに関する60年来のエルデシュ問題の解法を引き出した。注目点は答えが出たことそのものより、その筋道が本当に新しく、しかも別の問題にも効く可能性があると数学者たちが見ていることだ。

記事で重みを与えていたのもそこだ。Terence Taoは、最初の一手を正しく見れば実は思ったより易しかったのかもしれないと述べ、StanfordのJared Lichtmanは、この証明で使われたつながり方がもっと広い場面で使えるかもしれないと評価した。AI数学の話が既知手法の再発見や派手なベンチマーク話で終わりがちな中で、今回は本当に違う道筋が出たのかが中心に置かれている。

それでもHNは距離を保った。あるコメントは実際の会話ログを貼り、印象的なのは完成された証明文ではなく、人間が見ていなかった方向をモデルが提案できたかどうかだと整理した。別のコメントは、記事中で生の出力はかなり粗く、専門家が読みほどいて整える必要があったと書かれている点を拾った。そこから見えるのは自律的な定理証明機械というより、機械が糸口を出し、人間が読み解き、専門家が検証する混成ワークフローだ。

さらに何人かは、エルデシュ問題というラベル自体を数学知能の万能尺度にしてはいけないとも指摘した。難しさも性格もばらばらだからだ。HNが今回を面白いと感じたのは、専門家の精査に耐える非自明な発想が本当に出てきたのか、というもっと狭い問いに照らしたときだった。だからこそ、過去のAI数学見出しより中身がある話として読まれている。

空気は懐疑的だが、突き放してはいない。HNは、AIが新しい攻め筋を見つける助けになったならその点は認める。ただし物語から人間の役割を消した瞬間に強くブレーキを踏む。元記事は Scientific American、議論は HNスレッド にある。