还记得去年大家还在讨论大模型做小学奥数题能不能及格吗？就在2025年的平安夜，字节跳动Seed团队甩出了一个重磅炸弹：Seed Prover 1.5。 这不是一次普通的版本更新，这更像是一个只会做选择题的学生，突然进化成了能写出严谨证明过程的数学家。简单来说，这个AI现在不仅能做题，还能用Lean语言写出可被计算机编译验证的代码，直接把从本科到博士难度的数学题“拿捏”了。 作为一名长期关注AI进化的观察者，看完他们的技术报告，我最大的感受是：AI解题的逻辑变了。 哪怕是陶哲轩看了也要愣一下的战绩 先别管技术细节，我…
