Google s AI 世界现在能够响应.
精灵4使AI世界说话和响应; Anthropic 助力药物发现;Axiom验证了一个巨大的数学证明.
主要内容
- Google DeepMinds Genie 4是一个下一代的世界模型,可以从文本提示中创建实时摄影现实的场景,现在添加了原生音频,逼真的对话角色和持续的场景编辑.
- 精灵4超越了简单的探索,转向实用的游戏工具,创意指导和机器人训练.
- 人类正在从 AI 模型扩展到药物发现,获取 Mithril Medicine 和共享结果显示Claude可以加速监管起草,实验室协调和抗体设计,尽管其自己的药物注可能不会产生收入.
- AI 数学初创公司Axiom使用了一群代理人完成了机器检查版本的Finite Simple Groups分类,证明AI如何验证人类无法完全检查的大规模数学证明.
Google DeepMind 推出了Genie 4,其下一代世界模型,该模型将文本提示转化为实时可探索的摄影现实的场景.更新添加原生生成的音频 noise背景噪声和音乐以及用户可以与之进行直播对话的真实人物.这是第一个产生自己的声音的Genie模型. 用户通过键盘控制来导航,并可以在输入之间保持一致的情况下发出文字提示以更改场景中途探索. 在一次演示中,模拟 Apptronik Apollo 人形玩棋牌,双子座 4 阿尔贡计划每次移动enie作为机器人训练工具向何方引导 Genie 的信号.
从无声世界到导演的工具
去年发布的Genie 3让用户在人工智能产生的世界里漫游几分钟. Genie 4扩展了更接近制作工具的东西:内置声音,你可以与角色交谈,并持续进行提示驱动的编辑.游戏应用程序是显而易见的,但音频,对话代理和场景稳定性的组合将Genie作为导演仪器中的一个世界的模拟器. Apptronik Apollo棋牌示范指向第二个使用案例 - 在物理部署之前可以训练和测试机器人的仿真环境.
人类学从模型转向医学
人类与其药物开发合作伙伴分享了早期的结果,并透露它现在正在运行自己的药物发现计划,包括收购 Mithril Medicine ,一个单独创始人生物技术公司.Mithril 的克劳德辅助肌肉发育不良候选者可以早晚达到人类试验 2028 .该候选人在 18 个月内在小鼠中表现出前景,克劳特帮助创始人和 Cody Tranbarger 在 11 家外部实验室协调合同和测试.Tranbarger 在 X 上经营伪名生物技术账户Professor Oak Professor Oak 六年来称这项安排为"管道中的个人".
合作伙伴的结果概述了这一模式.在恩维达,克劳德用手写了一份关键监管文件的第一稿,4小时与大约3个月相比,并标记了人类错过的七个批量记录问题.对于 Divergence Labs,克洛德设计的三种大致 35,000 的抗体似乎可以击败今天的主要药物从细胞中解开过敏触发剂.本周提交的人类化 IPO IPO 将全球制药市场预计于今年达到顶峰 $2T ,同时警告说其自己的药品投注可能永远不会产生收入.
Google DeepMind在8月份表示,预计未来几个月人类生物推进的"早期光".随着人类运行自己的湿实验室和其 AI提交文件指出克劳德可以操作诸如显微镜等设备,手动 Mithril Medicine科学的组件正在快速组装.
论证的代理群检查了数学最长的证明
AI数学初创公司Axiom完成了一种完全机器检查的版本,使用一群由其团队指导的代理人在24天内重建了长达数十年的努力.该定理列出了 Axiom 所谓的"周期表对称性",即数学中每一个对称模式都会分解成基本部分的完整清单.超过100名数学家将原始分布在大约14页和500多篇论文上,而Axium 表示没有任何一位专家从头到尾读过它.
Axiom将工作划分为108个里程碑,数十名代理人产生了大约4300万行Lean的编码语言,让计算机验证每个逻辑步骤.该定理仍然存在,但AI在一个关键步骤中发现了一个错误的主张并基于 1976 数学家的工作进行了一项新的证明 Ronald Solomon.
快速搜索
- 人类纸: 无色的纸张,不含任何其他材料. . 在OpenAI自己的结果发布的同一天,Anthropic发表了一篇论文称内部克劳德模型也驳斥了Exponential Time Hypothesis.
- 特朗普在AIAI时说道: 美国总统,你知道吗? 美国President Donald Trump表示,他将在所有相关文件中禁止该术语.
- 物理证据:在一个小时内,我们将会发现... (笑声) 人工智能为物理实验室 Physical Superintelligence发布了五篇新论文,每一篇与计算机检查的证据配对,声称在内部帮助下取得长期未解决的量子物理学问题的进展 AI.
- 梅塔的芯片支增长率为: (美元/日元) 梅塔从Nvidia ($3B) 和AMD ($1B) 的芯片供应商那里筹集资金,两家公司都在扩展他们在Meta的数据中心运行的硬件.
- 谷歌和甲骨文的合作关系: (英语) 简体中文 谷歌签署了一项协议,将其TPU芯片安装在Oracle的云中,2027这是竞争对手云巨头首次向客户提供内部Nvidia替代方案.
- 工具监视:一个小时,一分钟. - ! Liquid AI 发布了LFM3,一系列小型设备上的多式模式模型;微软首先推出MAI-Image2.7用于编辑;并行运送了一个与实时网络数据进行分类的,Decisions API 和OpenAI的GPT6.1 Terra被定位为日常计算机工作的更便宜,更快速的模型.
需要注意什么
灵魂4的音频和对话角色将根据持续交互下场景如何保持在一起进行判断,而阿波罗演示将被视为世界模型作为机器人训练基础设施的早期测试.人类学Mithril候选者面临一个迟到2028的人类试验窗口,其自己的备案警告说收入可能永远不会实现.Axiom24天的正式化给数学家们提供了一种以前没有任何证明的机器检查参考以及攻击其他结果太大的模板.



Comments
No comments yet. Be the first to comment.