「际数科技」共找到 1192 篇相关文章
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
谷歌DeepMind的IMO金牌模型AlphaProof技术细节公开。团队规模小，核心成员是IMO金牌得主。它把数学证明当游戏，用30亿参数模型和改进树搜索算法。训练难题靠自动形式化解决，赛场用TTRL突破，已开放使用。
智能体崛起，AI+软件研发到新拐点了？
InfoQ《极客有约》X AICon 直播探讨 LLM 时代软件研发新范式。嘉宾认为 AI 在研发中是提效工具，距原生开发尚远；部分开发环节已由 AI 接手，落地面临稳定性等问题；未来智能体协作是趋势，部分工程师价值将放大。
硅谷GPU蒙尘，马斯克一言成谶：美国AI被电卡脖子
彭博社消息，加州圣克拉拉两处数据中心空置6年多等电力，凸显美国科技行业缺电问题。此前微软纳德拉承认缺电致GPU吃灰，马斯克也曾预言芯片或超供电能力。电力短缺制约数据中心发展，影响美国AI前进。
AI Coding大佬聊透了：产品智能重要还是用户体验重要？答案让人意外
量子位举办AI Coding沙龙，百度、硅心科技等多位行业玩家参与。探讨AI编程从替代人转向协作、智能体发展、To B与To C界限模糊等话题，指出未来产品智能更重要，编程产品将服务更广人群，程序员技能需转变。
沉迷贪吃蛇，7B小模型竟变身「数学天才」！几何推理碾压GPT-4o
NVIDIA等团队提出视觉游戏学习ViGaL范式，让7B多模态模型玩贪吃蛇等游戏，使其在数学、几何等任务击败GPT - 4o。游戏培养通用认知与推理能力，不同游戏提升不同推理能力，多游戏训练效果更佳。
都标5美元，账单差三成！OpenAI高管：token从来没法直接比价
OpenAI Codex负责人Tibo指出，不同模型对同一段文字切分的token数不同，即便单token价格相同，最终账单也可能差异很大。他还提到，token无统一计量标准，跨厂商和新旧模型计数都难通用，真正重要的是每次成功结果的成本。
SGLang Custom AllReduce v1 与 v2 实现原理详解
文章聚焦 SGLang 里两代自定义 all-reduce 实现（v1 和 v2），前者从 vLLM 移植，后者是默认版本。详述其负载特征、前提条件、分发链、同步机制、算法及 CUDA graph 支持等内容，还对比了两代差异，并提及相关环境变量。
梅西投了李飞飞，她转身买下了一家机器人“训练场”
足球巨星梅西旗下体育科技投资平台 Play Time 投资了李飞飞的空间智能企业 World Labs。该公司今年 2 月获 10 亿美元融资后收购了 SceniX，以补足其机器人仿真短板。此前，Marble 虽能搭建训练场景，但没掌握物理规律。
独家丨清华00后团队「零次方机器人」获超亿元融资，聚焦可真实落地的具身智能
AI科技评论独家消息，零次方机器人近日完成超亿元融资，由润泽集团领投。该公司由清华00后创办，团队超百人。已实现单月量产百台，订单破亿，推出具身操作基础模型，融资将用于软件、硬件和生态建设。
一场关乎纯度99.9999%的国运之战
2026年，一场围绕电子特种气体纯度的“国运之战”正激烈展开。其纯度要求已严苛至6N乃至更高，这关乎国家科技自立、产业安全。当前中国电子特气市场虽扩大，但本土产业面临外资封锁，国产化突围道阻且长。