Warren Bei

这才是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

机器之心

资讯热榜

奥特曼回应一切：重组后仍需微软支持，不相信OpenAI的欢迎做空 eBay携手ChatGPT开启智能电商新时代，购物体验将全面升级！ OpenAI更新ChatGPT规则：10月29日起禁止医疗、法律与财务建议 Reddit CEO直言：AI聊天机器人并未带来流量红利，搜索仍是核心引擎 OpenAI 开放 Sora2视频工具，面向美国、加拿大、日本和韩国用户 OpenAI年收入已远超130亿美元，上市计划仍遥遥无期谷歌推出新款 Vertex AI 代理构建工具，助力企业智能化 10分钟教会机器人工作?上海AgiBot正在重写制造业规则

标签云

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