Seminar| Institute of Mathematical Sciences
Time: Wednesday, January 14th, 2026,16:00-17:00
Location: IMS, RS408
Speaker: 李嘉，Project Numina的创始人，前Cardiologs的创始人兼CTO。Project Numina是一个开源的致力于促进AI在数学领域发展的组织。我们的数学大模型赢得了AIMO委员会设立的第一届AIMO progress prize。后续也开源出了NuminaMath 数据集和Kimina prover 等一系列的工作。
Abstract: 将介绍数学大模型是如何被训练出来的，以及当前数学推理的测评方式与数据集设计。重点回顾近年来 AI for Math 的关键进展，包括 DeepSeek Math、Numina 数据集、首届 AI Math Olympiad（AIMO）、Alpha Proof、Qwen 2.5 以及 DeepSeek R1 等代表性工作。同时讨论形式化数学与 AI 的结合路径，如自动形式化与自动证明。最后展望 AI for Math 在模型、数据与数学研究范式上的未来发展方向。