消耗1830亿token,Meta用AI把数学教材翻译成了一个超大Lean库
消耗1830亿token,Meta用AI把数学教材翻译成了一个超大Lean库编辑|Panda 数学正在迎来 AI 革命。 最近几个月尤为明显。比如,就在前几天,Google DeepMind 新论文宣布其最新系统 AlphaProof Nexus 在一次自主运行中,解决了 3
搜索
编辑|Panda 数学正在迎来 AI 革命。 最近几个月尤为明显。比如,就在前几天,Google DeepMind 新论文宣布其最新系统 AlphaProof Nexus 在一次自主运行中,解决了 3
医学AI会写解释,但不代表它真的“看到”了关键证据。
8.99万元操作天花板,6月发货,具身智能的「苹果时刻」!中国版Figure,星尘智能自研「AI模型-具身OS-绳驱本体」三位一体架构,用击穿底线的定价,推动Physical AI落地。一句话:今年必Buy!
昨晚,AI模型聚合平台OpenRouter宣布完成1.13亿美元(约合人民币7.67亿元)的B轮融资。本轮融资由谷歌母公司Alphabet旗下的成长基金CapitalG领投,英伟达NVentures、ServiceNow等一众风险投资机构跟投,a16z、Menlo Ventures持续加注。外媒报道,该公司融资过后估值飙升至13亿美元(约合人民币88.22亿元)。
过去几年,大模型竞争主要发生在 AI 公司之间。但随着 AI 开始从数字世界进入真实设备与物理世界,竞争逻辑正在发生变化。
前脚OpenAI刚把Erdős 80年猜想推翻,数学家们的惊呼声还没落地。紧接着,Google DeepMind发布了一个全新AI数学智能体——AlphaProof Nexus。它一出手,就干掉了9道悬而未决几十年的Erdős开放问题。其中最古老的那个,悬了整整56年!
近日,谷歌在2026 I/O大会上发布了旗下AI for Science工具组合Gemini for Science。 该组合包含了谷歌旗下三款顶尖的AI科研工具,能实现假设生成、计算发现和文献综述的
今年的「全球无障碍宣传日」,苹果照例抢先官宣了将在下随 iOS 27 一同登场的新一批无障碍功能。相比过去几年,今年这批功能最明显的变化,是 AI 的存在感突然变强了, 并且一些新的特性,或许也直接提前「剧透」了 iOS 27 的系统级 AI 能力。
有人晒出开源项目:GPT-5.5连续狂飙150小时,自主挑战诺奖级AlphaFold2!它用拓扑「单纯形」重构蛋白质折叠逻辑,虽然性能暂未登顶,却展示了AI科学家的恐怖潜力:秒回滚、零情绪、全自动进化。科研范式,真要变天了。
在红杉资本AI Ascent2026峰会的舞台上,Starcloud联合创始人兼CEO Philip Johnston带来了一场堪称“戴森球雏形”的震撼演讲,论证了为什么“AI 计算的未来在地球轨道上”。Philip Johnston被视为“太空AI计算”这一前沿领域的开拓者,致力于通过向地球轨道部署卫星数据中心,解决地球上 AI 算力带来的能源瓶颈。