几何推理引擎

字节发布全新数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，并在MiniF2F数据集上实现100%正确率。它能解决78.1%的IMO难题和4倍于其他主流模型的普特南数学竞赛成绩。