标签： 金牌

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

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

IT之家 11 月 17 日消息，联力 LIAN LI 现已推出 SP Platinum 电源。该系列型号采用标准的 100mm 长度 SFX 外形规格设计，符合 ATX 3.1 规范，获得 80 P … Continue reading 联力推出SP Platinum电源：白金效率标准尺寸SFX，至高1000W

IT之家 11 月 12 日消息，海韵 Seasonic 官网现已列出 CORE GC ATX 3.1 和 CORE BC ATX 3.1。这两系列电源均基于标准 ATX 外形规格，符合英特尔 ATX … Continue reading 海韵上线CORE GC/BC ATX 3.1电源：原生非模组线材，80 PLUS金牌/铜牌

即便监管约谈，即便用户商家抱怨不断，只要没有更好的平台生态出现，携程并不需要担忧，依然可以借着市场地位躺平稳赚。 作者 | 卢 梭 编辑 | 王金晓 长假前，携程在一个月内遭遇了两次约谈。 9月17日 … Continue reading 一天干出北京住宿业半年利润，梁建章躺赚6亿，携程无惧约谈

9月22日，科技部官网发布《国家科学技术奖励工作办公室公告第103号》。 公告称，2025年度国家科学技术奖初评工作已经结束。现将通过初评的60项国家自然科学奖项目、51项国家技术发明奖通用项目、13 … Continue reading 专注学术，韦东奕参与项目初评公示2025年度国家自然科学奖二等奖

编译 | 程茜 编辑 | 李水青 智东西9月18日消息，今天凌晨，OpenAI和谷歌前后脚宣布，自家模型在全球知名编程竞赛ICPC 2025获得金牌级别的表现。 OpenAI推理系统答对了全部12道题 … Continue reading 创历史！GPT-5全球顶尖大赛夺冠，人类屈居第二，北交大团队国内第一

IT之家 9 月 17 日消息，2025 华为坤灵秋季新品发布会于今日在上海举办。华为常务董事汪涛发布了 “4+10+N”中小企业智能化方案。 同时，华为还面向中国分销伙伴发布“百 & 万计划 … Continue reading 华为发布“4+10+N”中小企业智能化方案