字节跳动探索AI定理证明：让计算机像学霸一样解决本科数学难题

A：Seed-Prover 1.5是字节跳动开发的AI数学定理证明系统，它能够像数学专家一样理解和证明复杂的数学定理。这个系统在普特南数学竞赛等多个测试中表现出色，能够解决88%的本科水平数学问题。