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

ツイート

まさに黒船来航といったところでしょうか。 先月、OpenAIは内部モデルを使ってエルデシュの単位距離問題を解決したと発表しました。これは、AIが初めて数学における重要な未解決問題を解いた例であるという意味で、極めて重要な意義を持つと思います。 本記事は、今、数学界で何が起こっているのかを、数学者である筆者が私見も交えつつ解説し、まとめるものです。第一部では数学的内容を、第二部では専門家による評価を、第三部では今後の展望について書いています。 主な参考文献は二つあります。 一つ目はOpenAIによる当該論文(ht…