「真机验证」共找到 1345 篇相关文章
OpenAI搅乱数学界！科研项目没了，数学家遭毁灭性打击，学界还要数年消化
OpenAI公开722篇由内部未发布前沿模型生成的数学成果，覆盖多数学方向，部分附带形式化证明，发布后引发数学界巨大冲击，消化验证需数年，不少青年学者研究项目遭毁灭性打击，本文梳理各方反应与争议。
首次！AI智能体破解「纳什均衡」，大模型学会博弈论｜Cell子刊
多所高校研究团队开发出PrimeNash大语言模型智能体框架，能自动推导纳什均衡闭式解析解并生成证明。它模拟人类科研路径，分三模块求解，经经典博弈验证，还在碳市场博弈展现应用潜力。
颠覆算力格局！全球首个星座级太空AI算力服务，在中国诞生
第四届琶洲算法大赛中，国星宇航与佳都科技联手推动「慧行·AI上星」实验，标志国星宇航成全球首个提供常态化星座级太空算力商业服务公司，验证太空算力承载行业应用可行性。
仅用提示词工程摘下IMO金牌！清华校友强强联手新发现，学术界不靠砸钱也能比肩大厂
清华校友杨林和黄溢辰，仅用提示词设计和自我迭代验证流程，让基础模型Gemini 2.5 Pro达到IMO金牌水平。他们设计的流程分六个步骤，用差异化提示词，最终为5道题生成严谨解答。
从后训练回到预训练，LLM+RL 的潜力兑现有有机会走更远吗？
RL与LLM结合是重要技术方向，应用从后训练延伸至预训练。虽看似为LLM+RL带来希望，但RL本身有局限。微软等提出的RPT有潜力，不过训练语料等未广泛验证，且需大量计算资源。
星海图创始人高继扬：具身智能三层技术路线，没有捷径可走
星海图在第一届全球开发者大会上，展示了其在具身智能领域的战略布局。提出100万小时超高质量真实数据计划，发布新一代VLA基础模型G0.5并开源，还联合发布创业孵化项目「星途计划」，探索三段式商业模式。
Ψ₀刚刚开源了！迈向通用人形机器人的基座模型
南加州大学团队开源迈向通用人形机器人的基座模型Ψ₀，仅需80条真机遥操作数据，在总体任务成功率和子任务指标上平均领先NVIDIA最新开源模型GR00T N1.6超40%，还介绍了其数据、训练、架构等方面。
比肩英伟达H20！阿里自研PPU浮出水面
1月29日，阿里旗下平头哥官网公布高端AI芯片“真武810E”信息，标志“通云哥”协同体系亮相。该芯片全栈自研，已服务超400客户。其PPU架构性能比肩英伟达H20，性价比更高，阿里还支持平头哥探索独立上市。
首个转型AI公司的新势力，在全球AI顶会展示下一代自动驾驶模型
上周，小鹏 G7 亮相，首发自研芯片与 VLA - OL、VLM 模型。同时，小鹏在 CVPR 2025 分享研发进展。其世界基座模型展现高智能，还将结合世界模型迭代。此外，小鹏验证 Scaling Laws，转型 AI 公司，全链路优化技术。
中国芯片就差一台EUV
中国芯片代工取得佳绩，全球前10大晶圆代工厂中大陆占3个。但与台积电差距大，核心在于缺EUV光刻机。9位业内大佬联名呼吁造中国版ASML，国家也将推动产业链协同攻克此技术。