作者Bugquan (靠近边缘)
看板Math
标题[其他] Gemini AI 数学奥林匹亚夺金牌
时间Tue Jul 22 12:46:39 2025
https://reurl.cc/axkMo4
Google DeepMind 的 Gemini Deep Think AI 模型在 2025 年国际数学奥林匹亚(IMO)中
表现卓越,成功达到金牌标准。这标志着 AI 在解决复杂数学问题上的重大突破。
Gemini Deep Think 在 IMO 六道题目中,有五道完美解答,总分达 35 分,符合金牌资格
。它能全程以自然语言推理,并在比赛时间内生成严谨数学证明。DeepMind 也公开了这些
解答,
您可以点击此处查看:
https://reurl.cc/ZNrlp3
此突破归因於 Gemini Deep Think 强化後的「并行思考」推理模式,以及先进强化学习技
术与高品质数学解题资料的训练。Google DeepMind 计划未来将此模型开放给信任的测试者
与 Google AI Ultra 订阅用户,预示 AI 在数学及其他领域将有更广泛应用。
已经能拿金牌了
不知道什麽时後AI能够实际的解决一个数学难题
目前有的是做一些上下限改进
可能五年之内就有机会了吧
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 27.242.97.44 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1753159601.A.E03.html
1F:推 GaussQQ : 把大问题切割成小问题,AI对不少小问题已经有解决 07/23 11:45
2F:→ GaussQQ : 能力了 07/23 11:45
3F:推 backpacker18: 你要先定义什麽叫数学难题 07/29 01:42
4F:→ backpacker18: 我认为以目前的AI都没办法做到phd等级的research pr 07/29 01:43
5F:→ backpacker18: oblem 07/29 01:43
6F:→ backpacker18: 更遑论是XX大奖等级的 07/29 01:45
7F:→ backpacker18: 不是说数奥不难 07/29 01:50
8F:→ backpacker18: 是两者用到的认知方向不一样 07/29 01:50