标签： 金牌

90后数学天才韦东奕新身份公布 正式获聘北大长聘副教授

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

两院院士评出2025中国十大科技进展：“人造太阳”创世界纪录等入选

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

优等生携程，“进步”过头了

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

携程的学费

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

达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

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

DeepSeek推出DeepSeekMath-V2模型，主打自验证数学推理能力

IT之家 11 月 27 日消息，DeepSeek 发布了 DeepSeekMath‑V2，主打可自我验证的数学推理训练框架。 团队认为，仅追求最终答案正确率难以保证推理链条的严谨性，尤其在定理证明等 … 继续阅读 DeepSeek推出DeepSeekMath-V2模型，主打自验证数学推理能力