大模型模型取得国际奥数竞赛金牌级成绩_科技资讯

创始人

2025-07-25 19:41:48

0次

据英国《新科学家》杂志网站22日报道，谷歌旗下深度思维公司和美国OpenAI公司相继宣称，其AI模型在近日举行的国际数学奥林匹克竞赛（IMO）中，首次取得金牌级成绩。

IMO一直被研究人员视为AI系统数学推理能力的试金石。去年，深度思维公司宣布，其开发的数学推理AI模型“阿尔法证明”和几何求解AI模型“阿尔法几何”携手取得银牌级成绩。

19日，OpenAI宣布其新型AI系统在4.5小时内正确解答6道国际奥数竞赛题中的5道；两天后，深度思维的“双子座深度思考”系统交出了同样的成绩。IMO主席格雷戈尔·多利纳尔证实，成绩经由竞赛官方阅卷人严格评定。

与“阿尔法证明”和“阿尔法几何”系统都专为IMO打造，且使用名为“精益”的计算机编程语言编写问题和答案不同，今年两大团队的模型均采用自然语言处理技术。

“双子座深度思考”开发人员解释称，强化学习是机器学习的一个分支，旨在让智能体在环境中通过试错来学习如何实现特定目标。这种方法是谷歌此前在“阿尔法零”等AI游戏上取得成功的关键。

OpenAI则仅透露运用了强化学习与“实验性方法”，技术细节仍笼罩在迷雾中。

菲尔兹奖得主、美国加州大学洛杉矶分校数学家陶哲轩评价道，这一进展令人振奋，但需要可复现的研究数据支撑。IMO金牌得主约瑟夫·梅耶指出，自然语言证明虽具可读性优势，但冗长论证可能带来验证困难。

来源：科技日报（刘霞）

低空博览会首发展品剧透未来空... 证券时报记者陈雨康以“启航低空经济，赋能千行百业”为主题的2025国际低空经济博览会7月23日至...

人工智能专业就业方向人工智能专业就业方向全解析在科技飞速发展的当下，人工智能已经成为推动各个领域变革的核心力量。人工...

MiniMax创始人闫俊杰：A... “我们认为AGI（通用人工智能）一定会实现的，这一定是件服务大众、普惠大众的事。当它实现的那一天，过...

山西科研再攀高峰！怀柔实验室团... 近日，第21届国际分子筛学术会议在大连圆满落幕，来自怀柔实验室山西研究院的科研团队传来振奋人心的消息...

刚刚，小扎任命清华校友为Met... 就在刚刚，Meta 宣布，清华校友赵晟佳（Shengjia Zhao）将正式担任其超级智能实验室（ ...

阶跃星辰发布三代大模型、成立生... 7月25日，WAIC 2025前一天，阶跃星辰发布会现场人头攒动，阶跃星辰在这场发布会上正式对外发布...

巨一科技获得发明专利授权：“一... 证券之星消息，根据天眼查APP数据显示巨一科技（688162）新获得一项发明专利授权，专利名为“一种...

安路科技申请数据压缩方法等相关... 金融界2025年7月25日消息，国家知识产权局信息显示，上海安路信息科技股份有限公司申请一项名为“数...

蚂蚁AI健康管家AQ服务用户超... 7月26日上午，2025世界人工智能大会（WAIC）重磅应用类奖项“镇馆之宝”正式揭晓，蚂蚁集团自主...

国产螺丝刀迷疯美国猛男，2年卖... 《飞驰人生2》剧照 “哪个男人可以拒绝这样的礼物？”美国达人瑞克，在TikTok上展示他新入手的礼物...

“星链”中断2.5小时，马斯克... 来源：市场资讯（来源：三言科技）当地时间7月24日，美国太空探索技术公司（SpaceX）的“星链...

原创女... 我国又一位女航天员获得荣誉，那就是神舟十九号女航天员王浩泽被授予“英雄航天员”荣誉称号，并颁发“三级...

原创沸... 孟买郊区的建筑工地，宛如一个沸腾的庆典现场，机械轰鸣与人声鼎沸交织成一曲独特的交响乐。银灰色的新干线...

为什么商用台式机都在选AMD？... 【ZOL中关村在线原创评测】对于企业而言，商用台式机不仅是基础办公设备，更是影响运行、生产效率和长期...

“深圳造”测序仪破译基孔肯雅病... 深圳新闻网2025年7月26日讯（深圳特区报记者闻坤实习生冉曦芸）近日，深圳疾控-华大智造联合...

原创今... 眼下正值暑假，还有1个月多一点的时间就是开学季了，所以有心的厂商都要发布一些适合学生党购买的新机了，...

全国首个出租车智慧生态平台在深... 原标题：全国首个出租车智慧生态平台在深上线开创“线上+巡游+场景化”出行服务模式近日，在深圳市...

恒星科技获得发明专利授权：“一... 证券之星消息，根据天眼查APP数据显示恒星科技（002132）新获得一项发明专利授权，专利名为“一种...

从实验室走向应用场四川未来产... 封面新闻记者朱珠姚瑞鹏将人形机器人、高性能芯片、大模型、电动垂直起降飞行器、数字人等前沿科技产...

算网融合注智赋能——辽宁运营... 7月23日，由华为技术有限公司主办，辽宁省信息通信行业协会、辽宁省互联网协会、辽宁省软件行业协会人工...