AIが「数学のフロンティア」に触れ始めた日──私たちは何を目撃しているのか

AIが「Erdős Problems」などの高度な数学問題を解き始め、研究の進め方が変わりつつあります。テレンス・タオ氏はAIが膨大な小規模問題の解決に役立つと見ており、Lean等のツールによる「証明の形式化」と検証が重要視されています。これは単なる自動化ではなく、人間とAIの分業による数学の再設計や、専門外の人々への開放を意味する大きな変化です。## 参考記事（フォーマット）〇AI models are starting to crack high-level math problems | TechCrunch（2026/01/14）https://techcrunch.com/2026/01/14/ai-models-are-starting-to-crack-high-level-math-problems/〇Terence Tao: “Recently, the application of AI tools to Erdos problems passed a milestone…”（2026/01/07）https://mathstodon.xyz/@tao/115855840223258103〇Product of central binomial coefficients - MathOverflow（2013/07/30）https://mathoverflow.net/questions/138209/product-of-central-binomial-coefficients〇Mathematical exploration and discovery at scale - arXiv（2025）https://arxiv.org/abs/2511.02864〇About — Lean Lang（更新日不明）https://lean-lang.org/fro/about/#AI #数学 #人工知能 #OpenAI #未解決問題 #エルデシュ #証明 #形式化 #Lean #テレンスタオ #研究 #科学 #テクノロジー #TechCrunch #検証 #自動化 #アルゴリズム #DX #教育 #未来 #プログラミング #MicrosoftResearch #オープンソース #論文 #イノベーション