搜索：非确定性编程

「非确定性编程」共找到 1692 篇相关文章

战火升级！奥特曼正式杀入脑机接口，这次不用切脑

近日，奥特曼邀专家加入脑机接口创业公司Merge Labs，计划以8.5亿美元估值融资。它将采用非侵入式技术，与马斯克Neuralink的开颅手术竞争，奥特曼曾投资Neuralink但不认同其侵入式做法。

a16z发布「全球Top100消费级GenAI应用榜单」，显示AI竞争格局渐稳，进入多极化阶段。中国多款产品跻身前十，谷歌携四款产品入榜，ChatGPT居首，Grok紧追，氛围编程崛起，还有14家‘全明星’公司从未缺席。

很多开发者吐槽并弃用 Cursor，因其付费后砍功能、技术变差、营销像‘障眼法’，引发信任危机。部分用户转向 Claude Code，不过企业侧使用情况有差异。AI 编程工具竞争激烈，需多维度构建优势，市场未来趋势明显。

马斯克发布Grok 4.1，同时霸榜大模型竞技场第一和第二。它在思考与非思考模式表现出色，还在新专家榜和职业榜霸榜。此外，它在情商测试表现佳，还加强快速回复、改善幻觉问题，已向所有用户开放。

OpenAI发布GPT - 5，一口气推出三个版本API。发布会图表出错被吐槽，其自适应思考能力似抄Claude作业。发布会重押编程能力，因Anthropic靠Claude在API市场抢了不少写代码用户，实测中GPT - 5与Claude 4.1表现接近。

OpenAI联合创始人Andrej Karpathy在Sequoia Ascent大会上表示，AI Agent正改变软件与工作模式。编程基本单位从写代码变为给Agent下达指令，软件3.0以上下文窗口为程序，LLM为解释器。他还提出理解AI能力分布的框架，给出创业建议。

杨植麟发布月之暗面最强模型Kimi K2.5，经约15万亿视觉与文本混合数据预训练，有顶尖编程与视觉能力及智能体蜂群范式。在多基准测试表现优，成本低于对手，还能提升办公生产力。

大语言模型训练依赖算力和时间，传统模型 Souping 多采用均匀平均。Meta 等研究者提出类专家 Soup（SoCE），利用基准测试类别构成选最优模型，非均匀加权平均，实验显示其提升了模型效果与稳健性，在排行榜获 SOTA 成绩。

本文是对图灵奖得主杨立昆的访谈，他批判当前大语言模型局限性，指出难以靠扩大规模达人类水平AI。还强调理解世界需非生成式架构，如JEPA。同时以DeepSeek为例，称开源发展更快，中国人能想出好点子。

本文概述2024 - 2026年推理LLM的强化学习进展，从REINFORCE和PPO讲起，介绍GRPO、RLOO等多种算法。指出critic模型非必需，标准差归一化有副作用，损失聚合很关键，信任域是优化切入点，还提出几个未解决的挑战。