08:09IT之家(博客/媒体)谷歌 DeepMind 向独立电影公司 A24 投资 7500 万美元(约合 5.09 亿元人民币),双方将联合开发影视制作 AI 工具。DeepMind 称这是“业内首创”的合作模式,会吸纳创作者反馈。A24 出品过《瞬息全宇宙》《后室》等影片。DeepMind 联合创始人哈萨比斯表示与创作者直接协作能开发出更好的工具。行业谷歌 DeepMindA247500万美元影视AI工具合作推荐理由:谷歌砸 7500 万美元和拍《瞬息全宇宙》的 A24 一起搞 AI 拍电影,想知道会做出什么工具吗?原文
15:24IT之家(博客/媒体)76°谷歌 DeepMind 首席执行官德米斯·哈萨比斯预测,通用人工智能(AGI)最快可能在 2029 年至 2030 年前后出现,即大约三年内。作为 AlphaGo、AlphaFold 等成果的主导者及诺贝尔化学奖得主,他的观点在业内极具分量。他指出,当前 AI 智能体是未来更强人工智能的演练,多模态理解和自主决策能力正快速成熟。AGI 将具备跨领域学习、推理和创造的能力,彻底改变工作、生活和科研格局。但他也警告,全球社会对 AGI 的准备严重不足,需提前建立规则和防护机制。行业AGI谷歌 DeepMind哈萨比斯AI 预测行业趋势推荐理由:哈萨比斯作为 AI 领域最权威的科学家之一,给出了 AGI 时间表的最前沿判断,关注 AI 趋势的从业者和研究者值得一读,提前思考应对策略。原文
12:58IT之家(博客/媒体)83°谷歌 DeepMind 推出 AlphaProof Nexus,结合大语言模型与 Lean 形式化验证,在 353 个开放的 Erdős 问题中自主解决 9 个,包括 2 个悬而未决 56 年的问题。该系统由 4 个复杂度递增的 AI 智能体组成,每个问题推理成本仅数百美元。研究还发现,最简单的 Agent A 也能证明这些难题,反映出底层模型能力提升和编译器反馈的锚定作用。这标志着 AI 在数学研究领域取得重大突破,能自主发现并证明长期未解猜想。AI模型谷歌 DeepMindAlphaProof Nexus数学证明形式化验证Erdős 问题推荐理由:数学研究者和 AI 爱好者会兴奋——AlphaProof Nexus 用数百美元成本就解决了人类 56 年未解的难题,证明 AI 已能自主推进数学前沿,值得点开看看具体怎么做到的。原文