天才数学者が「AI伝道師」になった日——テレンス・タオと数学の新しい地図

天才数学者テレンス・タオは、孤高の研究という数学の伝統を覆し、大規模な共同研究とAIや自動証明ツールの活用を推進しています。彼が予見した人間とコンピュータが協力して難問を解く時代は現実となり、膨大な検証を伴うプロジェクトも大成功を収めました。AIが単純作業を担い、人間が核心に挑み、ソフトウェアが証明を検証する、新しい数学の形が始まっています。〇How Terry Tao Became an Evangelist for AI in Math（2026年6月8日） https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/〇Mathematical Beauty, Truth and Proof in the Age of AI（2025年4月30日） https://www.quantamagazine.org/mathematical-beauty-truth-and-proof-in-the-age-of-ai-20250430/〇'A-Team' of Math Proves a Critical Link Between Addition and Sets（2023年12月6日） https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/#数学 #テレンスタオ #AI #人工知能 #Lean #自動証明 #共同研究 #ポリマスプロジェクト #フィールズ賞 #ブレイクスルー賞 #ポールエルデシュ #実験科学 #フォーマル化 #証明 #コンピュータ #未解決問題 #数学者 #天才 #科学ニュース #サイエンス #テクノロジー #研究成果 #数理科学 #イノベーション #新しい数学