搜索
AI已经能够自主思考并证明新的数学规律了？ OpenAI研究人员表示，自己喂给GPT-5 Pro一篇论文，结果模型读完之后得到了新的结论。
Atlas进厂打工技能再进化！波士顿动力联手丰田研究院，首次让人形机器人Atlas能够通过语言指令驱动，一次性处理从折叠配件到整理仓架的复杂作业。这种LBM（Large Behavior Models，大行为模型）方法让机器人具备跨任务泛化能力，迈出了工业化实践的一大步。
硅谷的 AI 赛道上，三位手握国际信息学奥林匹克（IOI）奖牌的华裔青年正改写格局：斯科特・吴、沃登・严、斯蒂芬・郝，2023 年 11 月在硅谷车库启动项目，推出 AI 程序员 Devin。
AI 创业是一门生意。 在 day one 就要思考如何实现盈利、如何控制成本、支出的问题，尤其是小团队创业。 独立开发者 Arvid Kahl 是个「精打细算」创业的范例。
这真的是一种平衡艺术——要搞清楚模型应该具备哪些特性，以及我们希望它给人的“感觉”是什么。GPT-5发布时，我们觉得正好是一次重置和重新思考的机会。尤其是，现在要让一个模型变得很“有互动感”其实很容易，但有时候这种互动可能是不健康的，所以我们想让它成为一个健康、有帮助的助手。
市场研究的核心问题从未改变：消费者在想什么？ 全球企业为此每年投入超 1400 亿美元，催生了McKinsey、Ipsos等咨询巨头，和Qualtrics、Medallia等软件公司。
AI 有意识吗？ 无论是古今中外的文艺作品中，还是 AI 迅猛发展的当下，好像都难以给出一个绝对的答案。
多模态的生成，是 AI 未来的方向。 最近，AI 领域的气氛正在发生微妙的变化。比如，刚刚推出了 Grok 4 的 xAI 却在重点宣传他们的视频生成模型 Grok Image。
继通义灵码的 Lingma IDE 之后，阿里在海外推出另一款 Agent Coding 产品。据官方介绍，Qoder (/ˈkoʊdər/) 是一个专为真实软件开发而设计的 Agent Coding 平台（所以谁不真实？）
Grok 又双叒叕捅娄子了。 在用户完全不知情的情况下，马斯克旗下 AI 聊天机器人 Grok 将数十万条用户聊天记录公开发布，并被 Google 等搜索引擎全网收录。