第96回産総研人工知能セミナー「数学とAI」

2026年8月は、数学とAI技術の関わりについて紹介いたします。AIの学習や動作解析においては数学は基本的で強力な道具であることは古くから知られていますが、様々な数学的構造が発見されてきました。この流れはAIにおける数学と位置付けることができます。一方、近年のAI技術の著しい発展により数学、特に定理証明にAIの技術を援用する大きな動きが生まれています。これは数学におけるAIとなります。本セミナーでは、これら２つの方向性について最前線で活躍している研究者をお招きし、AIにおける数学、数学におけるAIについて現在の研究状況と今後の展望についてお話しいただきます。

• 主催産業技術総合研究所 人工知能研究センター