人工智能在纯数学领域的表现正迎来质的飞跃。AIbase 获悉，OpenAI 旗下的 GPT-5.2Pro 模型近日成功协助解决了数论领域的“埃尔德什难题”（Erd

在最近的国际数学奥林匹克（IMO2025）比赛中，ByteDance Seed 团队的自动定理证明系统 Seed-Prover 表现出色，成功解决了比赛中的四道题目。这一成果标志着 Seed-Pr

在最近的國際數學奧林匹克（IMO2025）比賽中，ByteDance Seed 團隊的自動定理證明系統 Seed-Prover 表現出色，成功解決了比賽中的四道題目。這一成果標誌着 Seed-Pr