「AIが未解決の数学の定理を証明した」とする報道が相次いでいます。
数学とAIを取り巻く世界でいま何が起こっているのかをコンパクトにまとめた記事が、2026年5月3日、共同通信社より公開されました。
https://news.jp/i/1417683400603631631?c=39546741839462401

記事では、証明支援ソフト「Lean」や研究者への取材を交えながら、AIと数学研究の関係がわかりやすく紹介されています。
数学やAI活用に関心のある方は、ぜひご一読いただければと思います。

本記事の執筆者である浅見 英一氏（共同通信社）は「ジャーナリスト・イン・レジデンス（JIR）プログラム」を通じて、国内の数学教室・研究室に所属している数学系研究者と様々な交流を持たれています。

九州大学IMIもその訪問先の一つで、今回IMIの研究者数名との意見交換も記事作成の一助となりました。