OpenAI在国际数学奥林匹克竞赛中取得了"金牌级别的表现",为人工智能的快速发展再添重要里程碑。OpenAI研究科学家Alexander Wei在社交媒体上发布消息称,一个实验性研究模型成功解决了这一"人工智能领域长期存在的重大挑战"。
据Wei介绍,OpenAI一款未发布的模型能够解决这项世界上历史最悠久、最负盛名的数学竞赛中六道题目中的五道,总共获得42分中的35分。国际数学奥林匹克竞赛(IMO)由各国选派最多六名学生参赛,解决极其困难的代数和微积分预备知识问题。这些练习题看似简单,但通常需要一定的创造性才能在每道题上获得最高分。在今年的竞赛中,630名参赛者中只有67人获得金牌,约占总人数的10%。
人工智能通常被用来处理复杂数据集和重复性任务,但在解决需要更多创造性或复杂决策的问题时往往表现不佳。然而,通过最新的IMO竞赛,OpenAI表示其模型能够运用类似人类的推理能力处理复杂的数学问题。
Wei在社交媒体上写道:"通过这样做,我们获得了一个能够构建精密、严密论证的模型,其水平达到了人类数学家的程度。" Wei和OpenAI首席执行官Sam Altman都表示,公司预计在未来几个月内不会发布具有这种数学能力水平的产品。这意味着即将推出的GPT-5相比前代产品会有所改进,但不会具备在IMO竞赛中竞争的同等令人印象深刻的能力。
好文章,需要你的鼓励
海外博主做了一次 Siri AI、ChatGPT、Claude 横评。看完之后我最大的感受是,AI 助手的竞争已经不只是模型能力,而是谁离用户更近。
TREK方法通过引入外部验证解法对AI进行短期校准,解决了GRPO训练在困难题目上因无法探索正确解法区域而陷入瓶颈的问题,在数学推理和智能体任务上均取得明显提升。
Uber年度失物报告首次纳入无人驾驶出租车数据。过去一年,乘客在Uber平台的机器人出租车中遗留了数千件物品,包括手机、钥匙、钱包等常见物品,以及假牙、15磅溜溜球等奇特物件。乘客可通过App联系客服找回失物,支付15美元即可享受同城配送,或前往车辆停放站自取。Uber表示,将依托现有运营体系为自动驾驶业务提供全面支持,计划2025年底前在全球15座城市开通无人驾驶打车服务。
SkillOpt-Lite通过将智能体技能优化形式化为零阶优化问题,提出极简流水线:把执行轨迹存为文本文件,让AI直接用文件系统工具翻日志、找规律、改技能,配合独立验证门控,比复杂的多智能体优化框架跑得更快效果更好,并自然延伸至执行框架自动优化(HarnessOpt),使轻量模型能够超越大模型。