OpenAI称AI证明指数时间假设不成立｜谷歌Genie 4世界模型｜英伟达投资Meta 30亿美元｜Axiom机器验证有限单群分类

剧情简介

来源：哔哩哔哩（Bilibili）。热搜关键词：AI完成有限单群分类定理证明。分类：影音娱乐。分区：计算机技术。OpenAI 称内部模型在数学、计算机科学和物理上各得出一项新成果，包括证明指数时间假设（ETH）不成立（已用 Lean 形式化验证）、证明所有维度的局部光滑猜想，以及量子色动力学等理论的存在性证明，均未经同行评审；Axiom 用 Lean 完成有限单群分类定理的完整自动形式化，原证明约 15000 页；谷歌 DeepMind 发布世界模型 Genie 4，首次原生生成环境音和角色对话，目前为研究预览；Liquid AI 发布端侧模型 LFM3，共 6 个，单张 GPU 可微调；微软 MAI-Image-本站不提供在线播放与视频下载，仅作信息导航。