「太阳能热推进」共找到 531 篇相关文章
张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼
2026年9月3日，OpenAI宣布GPT - 6将孪生素数问题最好上界推进到186，打破陶哲轩保持十二年的纪录。此前Julia Stadlmann推到240，Axiom Math压至212。GPT - 6展现数学直觉，证明经Lean 4验证。
70万辆车同步升级，背后那套系统藏了六年
超70万蔚来和乐道车主收到最新版世界模型推送更新。蔚来用一套代码覆盖多品牌、多平台、多芯片、多传感器车型，其技术体系复杂，从2020年起搭建，六年未改底层逻辑，如今效果显现。
一句话生图要过时了？开源图像生成Agent进化出「工具编排」
来自多机构的研究团队提出GenEvolve，将开放图像生成建模为「工具编排轨迹」。它配置三类工具，经多轮决策完成生成。通过构建数据集训练，实验显示在多基准上表现出色，已开源模型、代码等。
腾讯混元AI Infra如何优化Hy3 Preview：一次大模型推理性能提升的技术拆解
文章聚焦腾讯混元AI Infra对Hy3 preview模型的推理性能优化。从算子优化与融合、并行策略等五大维度，剖析技术思路、算法及收益，如Attention算子单batch长文本最高加速2.95x，还提及后续显存优化等工作。
Cursor Composer 2.5 拆解：最强大的 RL 环境，就是你自己的产品
今年5月，Cursor推出Agentic编程模型Composer 2.5，相比前代能力更强、成本效率更高。Cursor研究负责人认为最强大的RL环境就是自己的产品，文中还介绍了Composer 2.5训练方式、面临的挑战及解决办法等。
DeepSeek开招Harness产品经理！「参与Agent桌面端产品全过程」
DeepSeek热招Agent Harness产品经理，旨在将前沿模型能力转化为领先Agent产品。招聘详情明确职责与任职要求，释放模型和产品两手抓信号，且其融资后有商业化承诺，将加速发展。
人形机器人七小龙：谁真能卖，谁在讲故事？
2026年人形机器人行业融资热度高，宇树科技等七家公司被称为“人形机器人七小龙”。它们估值超百亿，各有特色，但技术未达天花板，商业化路径不清晰，面临国内外竞争，2026年是行业分水岭。
Meshy用户破千万后杀向新战场：ARR年翻14倍，头部厂商集体买单
Meshy是计算机图形学大神胡渊鸣创立的AI 3D公司，其创意工坊打通“AI创意→实体交付”。Meshy生成模型打印适配度高，破圈至多元领域，注册用户破千万，ARR年翻14倍，获多轮融资。
二元成功率已经过时！PRM-as-a-Judge才是你需要的具身操作评测框架
传统二元成功率评测具身操作任务有局限，难回答策略推进、执行效率等问题。中科院自动化所等机构研究人员提出PRM - as - Judge框架，含进度势能、OPD指标体系和RoboPulse基准，能细粒度审计执行过程。
OpenAI 推出“超级应用”，开抢 Anthropic 的企业客户
据《华尔街日报》，OpenAI 计划整合 ChatGPT、Codex 及 Atlas 浏览器为桌面“超级应用”，收缩战线聚焦企业和工程用户场景。Anthropic 也推进贴近桌面工作流产品，双方都在将 AI 往桌面工作流入口方向发展。