LLM本质上永远无法实现真正的正确推理

日本埼玉大学荣誉教授Jingde Cheng论文指出，以ChatGPT为代表的大语言模型（LLM）本质上无法实现真正的正确推理。论文定义了“正确推理”，从逻辑和计算原理论证其局限性，为推理智能体研究指明方向。

扩散模型+自进化：这篇论文让Deep Researcher错误率直降70%

论文提出测试时扩散深度研究代理（TTD-DR），将报告生成建模为扩散过程，有组件自进化机制和动态闭环设计。实验显示其在多领域研究任务超现有方案，为AI研究助手落地提供新范式。

穿上唐装，黄仁勋在急什么？

北京时间7月16日，黄仁勋穿唐装在「链博会」演讲。此前英伟达H20芯片获出口资格，RTX Pro芯片将在华发售。他与雷军聊AI和小米汽车，谈H20芯片、Meta抢人等话题，还称财务自由无梦想。

GitHub Copilot新代理把「自家人」逼疯了！

GitHub Copilot新智能体Coding Agent公测，官方想让它成协作开发搭子。但在微软仓库使用时问题多，多次提交失败、逻辑不通，未解决关键问题，虽能自动完成繁琐任务，但距‘靠谱搭子’还远。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

月之亮剑：万亿参数，造就国内首个 Agentic Model？

月之暗面发布全球首个万亿参数且直接开源的 Agentic Model Kimi - K2，它将 AI 下半场与经验时代理论融合。在测评中表现出色，Kimi 还通过创新方法完成预训练和后训练，并将成果开源，给中国开发者更多自主权。

特斯拉造出终结者之手！马斯克要挣1000000000000美元

特斯拉股东大会通过近万亿美元高管薪酬方案，马斯克若10年内让市值达8.5万亿美元等，可获奖励。会上展示人形机器人，其明年量产。此外，FSD技术优，还在研发AI芯片，虽有反对声，但股东多相信马斯克。

专治Demo玩家：「具身灵巧操作奥林匹克」大赛三项第一，全被国内这家公司拿下

星动纪元凭借自研VLA具身智能模型，在具身界灵巧操作奥林匹克Benjie's Olympics大赛中，于翻袜子（银牌难度）、开锁和剥橘子（金牌难度）三项任务上击败技术领先者PI，拿下全球第一，展现全栈技术优势。

苏姿丰出手！Oracle下单5万颗AMD芯片，英伟达王座撼动

Oracle宣布2026年第三季度起在云基础设施部署5万颗AMD Instinct™ MI450系列GPU构建AI超级集群并持续扩容。AMD Instinct MI450系列GPU亮点多，此次合作是其与Oracle合作的深化，也被视为AMD挑战英伟达的关键突破。

独家对话 Looki 创始人孙洋：摸着自己过河

本文是对Looki创始人孙洋的独家专访。Looki L1发布后意外大火，但前期市场策略保守，未突出AI。用户使用时长超预期，产品隐私设计消除担忧。团队在供货、软件迭代等方面不断探索，商业模式也在摸索中。