字节Seed数学新模型，SOTA了
字节发布全新数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，并在MiniF2F数据集上实现100%正确率。它能解决78.1%的IMO难题和4倍于其他主流模型的普特南数学竞赛成绩。
形式化推理
哥德尔-Prover超过DeepSeek-Prover，陈丹琦团队造出当前最强形式化推理模型
近日，普林斯顿大学团队开源了用于自动定理证明的形式化推理模型Goedel-Prover，并在数学问题的自动形式化证明生成任务上达到了SOTA。该模型利用大规模形式化定理数据集和专家迭代方法训练，提高了解题正确率并在排行榜中取得优异成绩。