DARPA、AIで数学研究を加速化を目指す

米国防高等研究計画局（DARPA）は、数学の進歩が遅すぎるとして、AIを活用した研究加速プロジェクトexpMathを開始した。AIによる数学的抽象概念の提案と証明を可能にする「共同執筆者」AIの開発を目指す。AIは基礎数学では優秀だが、高度な概念の扱いは大きな課題。プロジェクトの成功は、大規模言語モデルを超えたアプローチや、視覚・聴覚入力などの代替手法の探求にかかっている。