Mathematics in the Age of AI
Kevin Hartnett explores how artificial intelligence is reshaping the discipline of mathematics—not just as a tool for computation, but as a collaborator in discovery. The article examines whether AI can generate new mathematical insights, challenge human intuition, and ultimately transform what it means to do mathematics in an era of machine learning and deep reasoning.
背景メモ
- ケビン・ハートネットは科学・数学ジャーナリストで、長年Quanta Magazineで執筆してきた。Quanta Magazineは創刊以来、数学・物理学・コンピュータ科学の最先端を深く掘り下げることで知られる高水準なサイエンスメディア。
- このインタビューで論じられているのは、大規模言語モデル（LLM）や機械学習が「数学の営み」そのものをどう変えうるかという、現在AIコミュニティで最もホットなテーマの一つ。主題は「LLMが数学の定理を証明できるか」だけでなく、「AIが数学者の創造性や思考プロセスを補完・変容させるか」というより根源的な問い。
- DeepMindのAI「AlphaProof」やOpenAIの「o1」など、数学の問題解決に特化した（あるいは得意とする）AIシステムが2024年に相次ぎ登場。特に国際数学オリンピックの問題を解くレベルに達したことが大きな話題となった。この記事はそれを受けた文脈にある。
- 背景には、従来「証明の検証」にはAIが使われてきたが、今「証明の発見」にAIが関与し始めているというパラダイムシフトがある。これが数学という学問の本質（美しさ、厳密性、人間の直感）にどう影響するかが問われている。