标签： 金牌

新智元报道 编辑：编辑部 【新智元导读】万亿级思考模型在开源！Ring-2.5-1T重磅出世，夺下IMO金牌。全新Ling 2.5架构，让它具备了深度思考、长程执行强大能力，真正进化为「通用智能体时代 … 继续阅读 万亿思考模型夺下IMO金牌，无缝接入OpenClaw！一句话手搓丐版PS

智东西 作者 | 云鹏 编辑 | 李水青 智东西2月13日消息，今天凌晨，谷歌发布了Gemini 3 Deep Think专用推理模式的重磅升级，其在“人类终极测试”、竞技编程测试、国际数学奥林匹克竞 … 继续阅读 姚顺宇参与，谷歌最强Gemini推理模型发布！测评碾压Opus 4.6、GPT-5.2

新智元报道 编辑：桃子 好困 【新智元导读】刚刚，谷歌Gemini 3 Deep Think原地进化！在Codeforces比赛中拿下全球第七，击败了人类选手。短短三个月，全方位刷爆SOTA。 猝不及 … 继续阅读 清华传奇姚顺宇立功！全新Gemini一夜血洗编程，全球仅7人能赢它

IT之家 2 月 13 日消息，谷歌昨晚宣布对 Gemini 3 Deep Think 进行重大升级，号称是专门针对科学、研究与工程场景的开发的“推理模式”，旨在推动智能前沿发展。 据介绍，新版 De … 继续阅读 谷歌宣布Gemini 3 Deep Think深度思考大模型升级：推进科学、研究和工程应用

快科技2月1日消息，90后北大数学天才，被网友称为“韦神”的韦东奕，其最新任职情况日前公布。 北京大学数学科学学院网站信息显示，从2026年2月起，该院教师韦东奕正式获聘北京大学长聘副教授。 据北京大 … 继续阅读 90后数学天才韦东奕新身份公布 正式获聘北大长聘副教授

26日下午，由中国科学院、中国工程院主办，中国科学院学部工作局、中国科学报社承办，中国科学院院士和中国工程院院士投票评选的2025年中国十大科技进展新闻、世界十大科技进展新闻在北京揭晓。 两院院士评选 … 继续阅读 两院院士评出2025中国十大科技进展：“人造太阳”创世界纪录等入选

携程真正的“罪”，在于吃独食 作者 | 贾阳 王晓玲 每年都会挨骂的携程，今年尤其“可恨”。 因为在整个行业都在流血边缘的时候，携程的利润率却越来越丰厚。 甚至在最近公布业绩的Q3，携程单季营收183 … 继续阅读 优等生携程，“进步”过头了

文｜刘诗雨 编辑｜孙静 看到携程因涉嫌垄断被立案调查的消息，酒店行业估计乐开了花。 众所周知，酒店对于携程是既爱又恨。携程上的高质量客源让酒店无法割舍，但平台佣金、对商家捆绑过深的策略，又让酒店在行业 … 继续阅读 携程的学费

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息 … 继续阅读 达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5