2024年9月4日，李嘉学术报告暨百名大咖进书院活动在良乡校区文博中心音乐厅举行，Project Numina创始人、AIMO首个进步奖获得者李嘉应邀作题为“AIMO-Progress Prize 1 Winning Solution”的精彩报告。
完美体育平台官网党委书记张希承，党委副书记、副院长鲍锐，学院教师、研究生以及求是书院、特立书院数学专业本科生参加活动，报告由完美体育平台官网黄逸超教授主持。
AIMO是人工智能数学奥林匹克竞赛，旨在推动AI模型在数学推理上的发展。李嘉提到，Numina团队通过运用包含约100万道数学问题和解决方案的高质量训练数据集，结合自一致性解码算法，成功优化了模型的性能，使得模型具有了出色的数学问题求解能力。此外，团队还通过四个精心选择的验证集指导模型选择，有效避免了过拟合现象。Numina团队还深入探讨了如何在语言模型，如GPT-4等的计算过程中，结合链式思维提示和代码解释器减少计算复杂度，来优化算力效率。团队开发的NuminaMath数据集，为训练和评估模型提供了丰富的资源。研究还表明，工具集成推理（TIR）方法在处理复杂数学问题时表现尤为出色。团队在竞赛过程中参照DeepSeekMath和其他学者的方案，在前人基础上扩大数据集规模，最终得到的是约86万道涵盖从高考数学到竞赛数学的题目微调数据集，也已经开源。
展望未来，李嘉介绍到，Numina团队计划进一步扩展数据集，建立一个包含100万道形式化数学问题与正确解决方案的数据集，并开发形式化数学（Formal Mathematics），无污染的数学(Uncontaminated Mathematics)和推理基准等。同时，他们还致力于构建一个基于大语言模型（LLM）和形式化数学（Formal Mathematics）的数学论文评估服务，以期在未来保证每年海量涌现的新的数学成果的可靠性，大幅度减轻审稿负担，推动整个数学领域的发展。
在提问环节，李嘉同与会师生积极交流互动，针对前沿研究与实际应用等问题进行了详细解答。李嘉的讲座内容详实，深入浅出，开拓了在场师生的学术视野，激发了同学们的专业学习兴趣。
主讲人简介：
李嘉，毕业于巴黎综合理工，Project Numina的创始人，前Cardiologs的创始人兼首席技术官（CTO）。Project Numina是一个开源的致力于促进AI在数学领域发展的组织。李嘉团队的数学大模型赢得了AIMO委员会设立的第一届AIMO首个进步奖（The First Progress Prize）。
