数学界迎来了一次具有里程碑意义的重大突破。OpenAI近日宣布，其内部最新的推理模型成功生成了一份原创数学证明，正式推翻了由著名数学家保罗·Erdős在 1946 年提出的单位距离猜想。这一成果标

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

在人工智能领域，最新的进展引发了广泛关注。OpenAI 的研究员塞巴斯蒂安・布贝克（Sebastien Bubeck）近日在社交媒体平台 X 上分享了他与新一代语言模型 GPT-5的合作经历。他表