「幕末」の数学者たち: AIと数学｜R. Shimada

まさに黒船来航といったところでしょうか。 先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で、極めて重要な意義を持つと思います。 本記事は、今、数学界で何が起こっているのかを、数学者である筆者が私見も交えつつ解説し、まとめるものです。第一部では数学的内容を、第二部では専門家による評価を、第三部では今後の展望について書いています。 主な参考文献は二つあります。 一つ目はOpenAIによる当該論文(https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf)です。 二つ目はこの論文を受けて発表された名だたる数学者たちによるコメントペーパー(https://arxiv.

[aua]

うーん、むしろ「枠内」をAIに任せて、自身は「枠外」を考えるように意識改革すべきではないか。俗っぽい喩えで申し訳ないけど、将棋の藤井君がやっているのは、そういうことだよね

[tarbonet]

な

[fhvbwx]

証明はできるようになったかもしれないが（ABC予想の証明は？）、（数学的に意味のある）予想を立てることはできるのだろうか？そこまで行くまでは数学者の意味はある。

[nguyen-oi]

AIが数学の未解決問題を解く時代が本当に来たか。これもう人間が証明をチマチマ検証するだけになるな

[agrisearch]

「先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で」

[mimizukuma]

失業の心配してるのワロタ