国际数学奥林匹克竞赛

这才是IMO奥赛战神：满分，5战3金，刚被MIT录取

最近，IMO 是真的热闹。不过，大家谈论的重点都是 AI 在国际数学奥林匹克（ IMO ）上的表现。这不，除了海外的 OpenAI、谷歌，国内的字节跳动 Seed 团队也刚刚公布了他们的 IMO 竞赛结果：我们的形式化数学推理专用模型 Seed Prover 通过 3 天的尝试，完整解决了 6 道题目中的 4 道以及一道题的部分证明，IMO 官方认证 Seed Prover 的成绩为 30 分，达到了银牌的分数。

7/24/2025 10:45:00 AM

机器之心

中国队重夺IMO奥数冠军，6金双满分碾压全场，AI连铜牌都拿不到

祝贺中国队！本周六早上传来消息，在国际数学奥林匹克竞赛 IMO（International Mathematical Olympiad）比赛上中国队重夺冠军，获得了六金、双满分的佳绩。从「成绩单」来看，中国队总分 231 分，在前五道题目中获得全满分，第六题拿下团队 21 分也为全场最高分。

7/19/2025 9:52:00 PM

机器之心

资讯热榜

OpenAI 开源模型被 Meta 研究员“逆改”！只动0.3%参数，gpt-oss-20B 解锁无约束基座奥特曼：我承认GPT-5发布搞砸了大模型给自己当裁判并不靠谱！上海交通大学新研究揭示LLM-as-a-judge机制缺陷谷歌最新「0.27B」Gemma 3开源！身板小却猛如虎，开发者直呼救命稻草 GPT-5遭用户吐槽 “垃圾”：缩放定律失效，AGI梦渐行渐远？从GPT-2到gpt-oss，深度详解OpenAI开放模型的进化之路蚂蚁AI健康管家AQ上线四大打假功能向假医疗广告宣战 OpenAI突然"背叛"自己：推理与创作分家，万能AI时代终结？

标签云

AI 人工智能 OpenAI AIGC 模型 ChatGPT DeepSeek AI绘画谷歌机器人数据大模型 Midjourney 开源智能用户 Meta 微软 GPT 学习技术图像 Gemini 马斯克 AI创作智能体论文 Anthropic 英伟达代码训练算法 Stable Diffusion 芯片 LLM AI新词蛋白质开发者腾讯生成式 Claude 苹果 Agent AI for Science 神经网络 3D 机器学习研究生成人形机器人 xAI AI视频计算 Sora 百度 GPU AI设计华为工具大语言模型搜索具身智能 RAG 字节跳动场景大型语言模型深度学习预测伟达视觉 Transformer 视频生成 AGI 架构神器推荐亚马逊 Copilot DeepMind 特斯拉应用