国际数学奥林匹克竞赛
这才是IMO奥赛战神:满分,5战3金,刚被MIT录取
最近,IMO 是真的热闹。 不过,大家谈论的重点都是 AI 在国际数学奥林匹克( IMO )上的表现。 这不,除了海外的 OpenAI、谷歌,国内的字节跳动 Seed 团队也刚刚公布了他们的 IMO 竞赛结果:我们的形式化数学推理专用模型 Seed Prover 通过 3 天的尝试,完整解决了 6 道题目中的 4 道以及一道题的部分证明,IMO 官方认证 Seed Prover 的成绩为 30 分,达到了银牌的分数。
中国队重夺IMO奥数冠军,6金双满分碾压全场,AI连铜牌都拿不到
祝贺中国队! 本周六早上传来消息,在国际数学奥林匹克竞赛 IMO(International Mathematical Olympiad)比赛上中国队重夺冠军,获得了六金、双满分的佳绩。 从「成绩单」来看,中国队总分 231 分,在前五道题目中获得全满分,第六题拿下团队 21 分也为全场最高分。
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
谷歌
DeepSeek
AI新词
AI绘画
大模型
机器人
数据
Midjourney
开源
Meta
微软
智能
用户
GPT
学习
英伟达
Gemini
智能体
技术
马斯克
Anthropic
图像
AI创作
训练
LLM
论文
AI for Science
代码
腾讯
苹果
算法
Agent
Claude
芯片
具身智能
Stable Diffusion
xAI
蛋白质
人形机器人
开发者
生成式
神经网络
机器学习
AI视频
3D
字节跳动
大语言模型
RAG
Sora
百度
研究
GPU
生成
华为
工具
AGI
计算
生成式AI
AI设计
大型语言模型
搜索
亚马逊
AI模型
视频生成
特斯拉
DeepMind
场景
Copilot
深度学习
Transformer
架构
MCP
编程
视觉