字节推出的Seed-Prover模型在数学推理方面表现优异，解决了78.1%的国际数学奥林匹克（IMO）难题，并在普特南数学竞赛中取得显著成绩。该模型结合引理式证明和Seed-Geometry引擎，建立了独特的几何问题库，达到了IMO银牌水平。

本文探讨科学理论选择中的关键问题，特别是普特南的批判性与解释性倾向。作者提出一种新框架，认为机器学习模型能为科学辩论提供新视角，促进对理论选择的理解。

o1 Pro在普特南数学竞赛中以36分钟完成12道题，速度惊人。尽管考试难度极高，平均分接近0，只有少数人能满分，Pro的表现虽快，但仍有漏答，质量有待提升。