MiniMax开源数学证明框架MaxProof：用演化搜索将M3推上IMO金牌线

MiniMax创始人闫俊杰宣布开源数学证明框架MaxProof。该框架通过演化搜索方法自动选择合适难度的训练数据，无需手动标注，最终将MiniMax M3推上国际数学奥林匹克金牌基准线。这是继DeepSeek之后中国AI团队在数学推理领域的重要开源贡献。

为什么重要：MaxProof解决了AI数学推理中训练数据标注成本高、难度匹配难的痛点，有望加速AI在科学研究和复杂推理领域的应用突破。

#AI #MiniMax #大模型 #人工智能