数学问题求解 | AI导航网站

数学问题求解

AIMO Progress Prize

AIMO Progress Prize是一个开源项目，提供了训练和推理代码，用于复现在AI数学奥林匹克竞赛中的获奖解决方案。它包括模型微调、高质量数据集、自洽解码算法等核心组件。

AI数学奥林匹克深度学习数学问题求解