9600 亿 AI 独角兽,又要融资了

AI 数据独角兽 Databricks 正寻求新一轮融资,估值最高或达 1750 亿美元(约 1.26 万亿元人民币)。这家公司不直接卖大模型,而是帮企业把自身数据注入 AI 系统,正在成为连接模型与真实业务的“中间层”。

AI 数据独角兽 Databricks 正寻求新一轮融资,估值最高或达 1750 亿美元(约 1.26 万亿元人民币)。这家公司不直接卖大模型,而是帮企业把自身数据注入 AI 系统,正在成为连接模型与真实业务的“中间层”。

菲尔兹奖得主陶哲轩在2013年提出“用计算机可读的形式化语言取代LaTeX”的预言,如今通过AI辅助和Lean证明系统基本实现。他发起的新项目在48小时内处理了2200万个代数关系,背后是“AI生成+Lean验证+社区协作”的闭环。

Stepyard 是一款完全本地运行的自动化管道工具,允许开发者用 YAML 文件定义工作流,并将 LLM 调用作为内置步骤直接嵌入,无需额外配置云服务或外部 API 密钥管理。
![[程序员] 最近 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“辩论团队”替用户做人生决定。

美国前总统特朗普公开表态,不再将AI公司Anthropic视作国家安全隐患。这一立场的转变,可能影响美国AI政策走向,也折射出行业巨头与政治权力的复杂博弈。

一份题为《欧洲 2031》的思想实验在布鲁塞尔和柏林的政策圈子里迅速传播,描绘了美国和中国在 2030 年代初主导全球 AI 算力与基础设施后,欧洲经济崩溃、政治分裂的极端场景。该实验恰好在特朗普政府限制非美国公民使用 Anthropic 的 Fable 模型后几天公开,引发了对欧洲 AI 主权和安全性的急迫…

Yahoo Finance 专栏作者指出,医疗 AI 的第二波浪潮将从“卖铲子”(提供芯片和基础设施)转向“用铲子挖金”(将 AI 用于药物发现和临床落地),并重点分析了礼来(Eli Lilly)和 Twist Bioscience 两家公司,认为它们可能成为这一波浪潮的最大受益者。

Vertiv 和德州仪器这两家提供数据中心基础设施关键组件的公司,正在 AI 算力投资浪潮中实现强劲增长。它们不直接卖大模型或 GPU,但为数据中心提供散热、电源管理和模拟芯片,属于这一轮基建潮的“卖水人”。

诺贝尔化学奖得主、谷歌 DeepMind 副总裁 John Jumper(AlphaFold 核心负责人)宣布加入 Anthropic;此前 48 小时,Transformer 论文作者 Noam Shazeer 已离职加入 OpenAI。谷歌 AI 在 两天内连续失去两位顶级人才。