技术博客

字节跳动公司近日推出了一款名为 Seed-Prover 的先进数学问题解决模型，标志着人工智能在数学推理领域迈出了重要一步。Seed-Prover 在多个数学竞赛任务中表现出色，其解题能力已达到国际数学奥林匹克竞赛（IMO）银牌水平，同时能够应对普特南数学竞赛中的复杂难题。与此前领先的模型 o4-mini 相比，Seed-Prover 在部分任务中展现出更强的推理能力和更高的准确性，为数学人工智能的发展树立了新的标杆。