IXThinker·2025-08-05 21:50

字節Seed-Prover數學模型刷新多項SOTA

字節發布全新數學證明模型Seed-Prover，在多項基準刷新成績：MiniF2F數據集實現100%正確率，解決78.1%歷年IMO難題，普特南競賽成績達其他主流模型4倍，整體表現超越谷歌AlphaGeometry2及o4-mini等對手。

基準成績

Seed-Prover在MiniF2F數據集錄得100%正確率，全面超越谷歌AlphaGeometry2；在MiniCTX-2數據集上則以81.8%正確率遠超基準模型o4-mini，展示強大的形式化數學能力。