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