标签： Seed

字节跳动Seed团队近日发布了一款名为Seed-Prover的创新型自动定理证明系统，并在2025年国际数学奥…