实时 AI 消息
TechCrunch:Anthropic未发布模型在黎曼猜想上取得超预期进展
TechCrunch报道称,Anthropic一个尚未发布的模型在黎曼猜想这一数学难题上取得了超出预期的进展,但距离真正解决仍有很大距离。这一信号显示前沿模型的数学推理能力仍在快速提升,引发外界对模型何时正式发布的关注。
TechCrunch于8月11日报道,Anthropic一个尚未公开发布的模型在数学领域最著名的未解难题之一——黎曼猜想上取得了超出预期的进展。报道同时强调,Anthropic并没有解决黎曼猜想,但模型的表现令人意外。
黎曼猜想已悬而未决超过150年,是数学界最核心的开放问题之一,与素数的分布规律密切相关,并被列入千禧年大奖难题。任何实质性进展都会在数学界引起广泛关注。
报道称,这个未发布模型在相关问题上的进步超过了外界的普遍预期,不过具体的技术细节、模型规模以及测试方式目前并未完全公开。
这一消息的意义在于:它表明前沿模型在数学推理能力上仍在快速提升,甚至开始触及人类数学家长期未解的难题边缘,尽管距离真正解决仍有很大距离。
对AI行业而言,数学能力是衡量推理模型上限的重要标尺:如果模型在黎曼猜想这类难题上能持续取得进展,未来模型在科学发现中的角色将更加关键。
后续值得关注的是:Anthropic何时正式发布该模型、模型在数学基准上的完整表现,以及数学界对相关进展的验证与回应。
为什么重要
若属实,这一进展将强化大模型在数学与科学发现中的角色预期,同时抬高外界对Anthropic下一代模型的期待。
附近消息
全部08/12 00:45
阿里巴巴发布Wan3.0:支持30秒视频生成与多模态输入
据Pokde.Net报道,阿里巴巴发布通义万相Wan3.0,支持最长30秒的视频生成并引入多模态输入。长时长生成与多模态控制让该模型在视频生成赛道中更具竞争力,也进一步加剧了行业竞争。
08/12 00:47
Databricks收购Electric:为每个AI智能体配备专属Postgres数据库
The New Stack报道,Databricks已收购数据库初创公司Electric,计划为每个AI智能体提供独立的Postgres数据库。此举将数据库能力嵌入AI代理基础设施,降低企业构建与运行AI代理的门槛。
08/12 00:48
报道:Nvidia正打造1万亿参数Nemotron 4,对标开源AI模型
据The Information报道,Nvidia正在开发拥有1万亿参数的Nemotron 4模型,目标是与现有的开源AI模型竞争。这将是Nvidia开源模型路线的重要升级,也意味着芯片巨头正在模型层加大投入,以进一步巩固其AI生态。
08/12 01:00
谷歌医疗AI系统AMIE首次演示实时临床视频问诊能力
谷歌在最新研究中展示其医疗AI系统AMIE的实时临床视频问诊能力,这是同类研究中的首次。该系统在模拟问诊场景中与患者进行实时视频交流,标志着医疗AI从文本对话向多模态临床交互迈出重要一步。