本周六早上传来消息，在国际数学奥林匹克竞赛 IMO（International Mathematical Olympiad）比赛上中国队重夺冠军，获得了六金、双满分的佳绩。 从「成绩单」来看，中国队总分 231 ...

字节跳动Seed团队近日发布了一款名为Seed-Prover的创新型自动定理证明系统，并在2025年国际数学奥林匹克（International Mathematical Olympiad, ...

越通社驻东京记者报道，亚洲数学奥林匹克组委会于8月5日公布了2025年亚洲国际数学奥林匹克（Asia International Mathematical Olympiad，简称AIMO）国际总决赛的结果，越南队全部22名学生均获奖。

Google宣布将Gemini的Deep Think功能推向最高端方案Google AI Ultra的用户，可帮用户解决需要创意及策略规划的困难问题。此外，Google也宣布不久前取得国际数学奥林匹亚（International ...

2025年计算语言学协会第63 届年会（ACL 2025，Annual Meeting of the Association for Computational ...

虽然 Alex Wei 在帖子里面，包括后面 OpenAI 转发的时候，都是小心地称模型达到「金牌水平」（gold medal-level performance），并没有说「获得金牌」或「赢得比赛」，但在社交媒体传播中，还是被简化为「AI 赢得金牌」。

当地时间 7 月 21 日，谷歌 DeepMind 宣布，其研发的人工智能系统在国际数学奥林匹克（IMO，International Mathematical Olympiad）中取得了历史性的突破，正式 ...

Demis Hassabis连发两弹，一再强调「谷歌模型是首个获得官方金牌级别认可的AI系统」。 近年来，IMO逐渐成为AI能力的试炼场。数学问题不仅需要逻辑推理，还考验创造性思维和严谨性，这对AI系统提出了极高要求。

就在本周一，谷歌宣布搭载深度思考的 Gemini 进阶版正式达到 IMO 2025 国际数学奥林匹克竞赛金牌标准。Gemini（与 OpenAI 新模型）是首批获得 IMO 正式评分和认证的 AI 参赛队伍，其评分标准与学生解决方案相同，可以说实现了 AI 领域的一次技术突破。

斩获金牌的是Gemini的一个进阶版本，搭载了新的思考模式，后期会开放给Google AI Ultra订阅用户——也就月付1400元那种。 此外，DeepMind研究员、布朗大学教授Junehyuk Jung介绍，在今年的第三题中，很多人类选手使用了研究生水平的方案（IMO为高中竞赛），但Gemini仅使用了初等数论知识就给出了自洽的证明。