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

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

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

深圳如何打造全球具身智能高地?这份行动计划划出重点

深圳如何打造全球具身智能高地?这份行动计划划出重点

6月18日,深圳市科技创新局印发《深圳市具身智能机器人技术创新与产业发展行动计划(2025-2027年)(修订版)》,明确到2027年关联产业规模达千亿元,落地50个十亿级应用场景,培育超10家百亿级企业。这是国内首个由地方政府发布的、面向2025-2027年具身智能产业的细化行动方案,标志着具身智能从概念探…

陶哲轩12年前的预言,现在AI帮他兑现了

陶哲轩12年前的预言,现在AI帮他兑现了

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