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 #オープンソース #論文 #イノベーション
感想
まだ感想はありません。最初の1件を書きましょう！