OpenAI神秘模型IMO夺冠：AI数学推理的里程碑突破 大模型知识库 大模型训练 智能体开发 > 자유게시판

最终，Seed Prover 在 IMO 第一天的竞赛题中解决了第 2 题（几何）和第 3 题（数论），在第二天的竞赛题中解决了第 4 题（数论）和第 5 题（组合/代数）。 Seed Prover在赛后继续搜索，证明出了第 1 题（组合题）。 据悉，七家协会代表的船队总运力约占全球的1/4，其联合表态被业界视为对国际海事组织推动全球航运脱碳进程的重要支持信号。 彭博社指出，国际海事组织的新框架已酝酿多年，若本周得以通过，将成为多边气候监管体系的重要胜利，并在下月于巴西举行的《联合国气候变化框架公约》第三十次缔约方大会（COP30）前为全球气候行动注入动力。 对于航运业来说，这项措施有望推动航运业摆脱对石油燃料的依赖，加速向氨等更清洁能源转型。 法新社分析指出，菲律宾是世界上最大的船员来源国，今年4月曾支持该新框架，但若美国实施签证限制，该国将首当其冲受到影响。 此外，加勒比海岛屿国家经济依赖美国邮轮业，同样可能遭受波及。
模型解出了第一题到第五题（P1-P5），但没能解出第六题（P6）。 但这一次，OpenAI打破了这条铁律——新模型不仅不是IMO「特供」，而且还能进行长达数小时的思考。 首先激活环境，然后执行主程序来解决指定的数学问题，例如运行python run.py —q imo4来解决IMO2025第4题。 例如，审阅者指出"你的第一步假设A是无证据的"，这个反馈极大地减少了后续需要探索的可能性，使计算资源能更集中地探索更有希望的路径，从而显著提升了求解的效率和准确性。 7月19日，全世界顶尖大模型在2025年的IMO赛场上几乎全军覆没。 时隔1天，OpenAI、DeepMind等顶尖实验室就在IMO 2025赛场斩获5/6题，震惊数学圈。 在他们的测试中，即使是表现最好的Gemini 2.5 Pro也只获得了13分（31%），远低于铜牌线19分。 去年IMO题目中，谷歌用Alphaproof和AlphaGeometry完成了四道题，未完成的两道也属于组合数学。
肛交色情影片 Seed Prover 还在多个基准测试中展现出优势，包括 CombiBench 和 MiniCTX-v2。 这表明 Seed Prover 并非仅擅长高中竞赛题，而是能应对广泛的数学概念。 IMO题目以其高度的抽象性和创造性著称，不仅考察数学知识，更考验选手的创新思维和问题解决能力。 历史上，IMO金牌得主中涌现出众多数学大师，包括16位菲尔兹奖获得者，如著名数学家陶哲轩（13岁获IMO金牌）。 当时，包括中国、欧盟、日本、印度、巴西在内的63个国际海事组织成员投票支持了"净零排放框架"。
玛蒂尔达希望在网格上放置一些矩形块，这些块的大小可能不同，使得每个块的每一条边都位于网格线上，并且每个单位正方形最多被一个块覆盖。 求玛蒂尔达需要放置的最小块数，使得网格的每一行和每一列都恰好有一个单位正方形未被任何块覆盖。 人们很容易将当前 AI 的能力视为一个单一的量化指标 —— 要么能搞定某件事，要么就完全不行。 但其实不是这样，AI 到底有多厉害，这得看给它多少资源、多少辅助手段以及不同的结果呈现方式，种种因素影响下，AI 能力能差出好几个量级。 OpenAI 模型斩获 IMO 金牌的消息一出，AI 圈炸开了锅。
几个小时前，OpenAI的研究人员披露，其一款内部实验性的大语言模型，在模拟的国际数学奥林匹克（International Math Olympiad ，IMO）竞赛2025中取得了金牌水平的成绩。 这是一个里程碑式的突破，因为IMO被认为是衡量创造性数学推理能力的巅峰，远超以往任何AI基准测试。 这项成就并非通过专门针对数学能力对大模型进行定制的方法实现，而是源于通用人工智能研究的根本性突破，尤其是在处理难以验证的任务和长时间推理方面。
IMO 2025 P3 以及 IMO 2025 P4 就是在重量级设置下被证明的。 Seed Prover 基于 Lean 验证器构建，通过多阶段强化学习训练完成。 其通过自然语言思考和形式化代码的交互进行数学题目证明，从而保证证明过程 100% 可靠。 借助长链思维推理，并通过多智能体进行测试时算力拓展，Seed Prover 能针对一道数学题进行持续数天、深度且广泛的思考。 模型采用全新的强化学习训练方法，通过"私有思维链"技术，在内部模拟多步骤推理过程，能够自主分解问题、尝试不同策略并进行自我纠错。 这种能力使模型在面对几何证明等需要创造性思维的问题时表现出色。 过去，顶级AI的竞争很大程度上围绕着MMLU、GSM8K等标准化基准展开。 未来的竞争焦点可能会从"谁的模型知识更广、答题更快"，转向"谁的模型能针对复杂、开放、专业的问题进行更深入、更可靠的创造性推理"。 这要求AI公司展示其在解决现实世界中那些没有标准答案的难题上的能力。 拟议的新框架要求航运业自2028年起逐步减少碳排放，并在2050年前实现完全脱碳。
根据草案，所有超过5000吨的船舶若排放超出规定阈值，将被征收排放费，低于阈值者可获得"补偿单位"。 超标船舶需购买相应配额或支付罚金，所得资金将由国际海事组织秘书处设立的"国际海事组织净零基金"统一管理，为发展中国家的技术创新、基础设施建设和减排转型提供支持。 【文/观察者网 王一】10月14日至17日，国际海事组织（IMO）将召开会议，正式决定是否对全球航运业征收碳排放费用。 这是世界上首个将整个行业领域的强制性排放限制和温室气体定价相结合的框架。 协议草案此前得到了中国、欧盟、日本、印度等大多数国家的支持，但美国表示强烈反对，甚至退出了相关谈判。 更重要的是，IMO的答案是难以验证的多页证明，这与之前那些有明确正确答案的数学题完全不同。 OpenAI团队表示，他们突破了传统强化学习中依赖明确可验证奖励的范式，创造出了能够像人类数学家一样构建精巧论证的模型。 更重要的是，IMO 的答案是难以验证的多页证明，这与之前那些有明确正确答案的数学题完全不同。