国防高等研究計画局（Defense Advanced Research Projects Agency: DARPA）は5月5日、人工知能（AI）を活用して数学の発見速度を飛躍的に向上させるプログラム「指数関数・数学（Exponentiating Mathematics: expMath）」を開始すると発表した。AIを「共著者」と位置づけ、数学者の研究支援を行うもので、AI技術開発とその効果検証の2分野で進行し、最先端研究の評価指標策定も重要課題とする。具体的には、難解な問題を小さな補題に分解し解析する技術の開発に向け、大規模言語モデルや強化学習、プログラム合成などのアプローチにより従来の個別的かつ限定的な研究スタイルから脱却し、革新的な数学的ブレークスルーを加速させるという。同局は、暗号学や材料科学、流体力学などの分野への波及に加え、先端数学へのアクセスの民主化により数学教育の革新にもつなげたい意向である。現在、同プログラムへの提案を募集しており、詳細はSam.govで公開されている。

DARPA “Math + AI = Tomorrow’s breakthroughs” (05/05/25)
https://www.darpa.mil/news/2025/math-ai-tomorrows-breakthroughs