9600 亿 AI 独角兽，又要融资了
AI 数据独角兽 Databricks 正寻求新一轮融资，估值最高或达 1750 亿美元（约 1.26 万亿元人民币）。这家公司不直接卖大模型，而是帮企业把自身数据注入 AI 系统，正在成为连接模型与真实业务的“中间层”。
深圳如何打造全球具身智能高地？这份行动计划划出重点
6月18日，深圳市科技创新局印发《深圳市具身智能机器人技术创新与产业发展行动计划（2025-2027年）（修订版）》，明确到2027年关联产业规模达千亿元，落地50个十亿级应用场景，培育超10家百亿级企业。这是国内首个由地方政府发布的、面向2025-2027年具身智能产业的细化行动方案，标志着具身智能从概念探…
Meta员工士气跌至20年谷底！内部直播当众开骂，CTO承认AI重组糟糕透顶
Meta CTO Andrew Bosworth（Boz）在内部会议上承认，公司AI部门重组“糟糕透顶”，引发员工集体抗议、当众辱骂高管及内部直播中断事件。这家全球AI人才抢夺最凶的巨头，正面临20年来最严重的内部信任危机。
陶哲轩12年前的预言，现在AI帮他兑现了
菲尔兹奖得主陶哲轩在2013年提出“用计算机可读的形式化语言取代LaTeX”的预言，如今通过AI辅助和Lean证明系统基本实现。他发起的新项目在48小时内处理了2200万个代数关系，背后是“AI生成+Lean验证+社区协作”的闭环。
[程序员] 让 ChatGPT review Claude 写的代码，它挑了 35 条，没一条是错的
![[程序员] 让 ChatGPT review Claude 写的代码，它挑了 35 条，没一条是错的](https://www.chat-gpts.plus/wp-content/uploads/2026/06/ai_cover_5-783-768x403.jpg)
一位开发者用 ChatGPT 对 Claude 生成的代码做 Code Review，结果 ChatGPT 筛出 35 条潜在问题，且全部命中要害。这件事的看点不在于“AI 打架”，而在于它揭示了当前大模型在代码质量判断上的能力差异，以及开发者应该如何看待“AI 写代码”这个流程。
挪威将禁止小学生使用生成式人工智能
挪威政府宣布，将从2026年起禁止6至13岁的小学生使用生成式AI工具，同时严格限制初高中生的使用范围。这是全球首个由国家层面、按年龄段对AI教育使用进行全面禁令的案例。
Show HN: 带内置 LLM 步骤的本地自动化运行器——YAML 管道
Stepyard 是一款完全本地运行的自动化管道工具，允许开发者用 YAML 文件定义工作流，并将 LLM 调用作为内置步骤直接嵌入，无需额外配置云服务或外部 API 密钥管理。
[程序员] 最近 gemini 网页版本老是断线
![[程序员] 最近 gemini 网页版本老是断线](https://www.chat-gpts.plus/wp-content/uploads/2026/06/ai_cover_2-798-768x403.jpg)
多位 V2EX 用户反映 Google Gemini 网页版近期出现频繁断线问题，使用体验受阻，需刷新页面才能恢复。这暴露了 Gemini 在网页端稳定性上的短板，对重度用户和开发者构成了实际干扰。
沃顿商学院的研究人员创造了“认知投降”来描述当人们让人工智能为他们思考时会发生什么
沃顿商学院研究人员在一项新研究中提出了“认知投降”概念，描述人们过度依赖AI输出并放弃独立思考的现象。实验发现，参与者接受AI错误答案的比例高达80%，且使用AI后自信水平反而提升11.7%。已经有商业应用如Moot将这种心理货币化，让AI“辩论团队”替用户做人生决定。
bug(python-sdk): Streaming tool calls are missing `id` and `type` fields in generation output, causing UI to incorrectly show “not called”
用户通过 langfuse.openai.AsyncOpenAI 或同步客户端包装器执行流式（ stream=True ）ChatCompletion 请求，且模型触发工具调用时。Langfuse UI 中 Tools 选项卡下所有工具均显示 "not called"，尽管工具已被成功调用。