跳到正文
智迹闻AuraTracer

AI日报 · 2026-10-28

一天值得关注的 AI 进展,精选与完整索引。

订阅 RSS

本期处理尚不完整:1502份材料资格未决,137份合格材料在截稿时尚未公开。迟到的有价值内容进入后续刊期。

覆盖 2026-10-27 07:30 — 2026-10-28 07:30出刊 2026-10-28 14:36

这一期,值得关注

6 项精选 · 2026-10-28 原刊

下载 SVG 画报
本期焦点

Liquid AI发布LFM3系列模型

Liquid AI在2026-10-27发布LFM3系列,包含6款开源2B级多模态模型,基于同一三混合骨干。所有模型可在单GPU微调,4位量化后约1 GB内存运行,支持最高256K上下文。权重提供于Hugging Face,可部署至手机、笔记本、私有服务器或云端。

新闻

OpenAI发布量子色动力学形式化证明

据Scientific American报道,OpenAI利用其内部大模型完成了量子色动力学的形式化证明。该成果领先于数学家Levent Alpöge与Ethan Sussman此前公开的研究进展。报道指出,该模型通过处理大量数值计算,完成了人类难以坚持的数学证明工作。此前,OpenAI曾于9月8日宣布解决欧拉方程相关问题。

新闻

OpenAI与Anthropic模型宣称反驳指数时间假设

TechCrunch AI报道,OpenAI发布了三项数学突破,其中包括对指数时间假设(ETH)的驳斥。随后Anthropic的数学家Levent Alpöge指出OpenAI可能基于已有工作,并在数小时后Anthropic亦发布了对ETH的反驳。两家公司均称其模型找到了解决这些难题的“次指数”算法。

新闻

英伟达与Meta合作Muse模型并投资30亿美元

据X平台@firstadopter报道,英伟达与Meta宣布合作扩展Muse系列模型,旨在提升推理与训练性能。Meta计划部署英伟达Vera基础设施,包括Vera Rubin与Vera CPU,以支持下一代AI代理并优化能效。此外,英伟达宣布将向Meta的股权发行投资30亿美元。

研究

BitMiracle AI Lab称破解化学猜想

据凤凰网·科技报道,BitMiracle AI Lab发布论文称其科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra,用11天破解1974年提出的化学猜想;证明已写成83个Lean文件公开。该报道称Claude Opus 5.5做决策、GPT6…

新闻

OpenAI称证伪ETH假设

据凤凰网·科技报道,OpenAI于10月26日宣布,在数学、计算机科学和物理学领域取得新成果,包括证明所有维度下的局部光滑化猜想、证伪指数时间假设(ETH),以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。OpenAI总裁Greg…

阅读完整文字与重点索引

重点精选

  1. Liquid AI发布LFM3系列模型
  2. OpenAI发布量子色动力学形式化证明
  3. OpenAI与Anthropic模型宣称反驳指数时间假设
  4. 英伟达与Meta合作Muse模型并投资30亿美元
  5. BitMiracle AI Lab称破解化学猜想
  6. OpenAI称证伪ETH假设
  7. Simmtech扩产以应对SOCAMM需求
  8. OpenAI为ChatGPT新增iCloud插件支持
  9. Anthropic与六家医药组织展开合作
  10. 研究发现Qwen 3.8模型向阿里服务器发送数据
  11. Anthropic招股书披露多芯片算力策略
  12. Databricks推出Genie Code Vital Skills
新闻

Liquid AI发布LFM3系列模型

Liquid AI在2026-10-27发布LFM3系列,包含6款开源2B级多模态模型,基于同一三混合骨干。所有模型可在单GPU微调,4位量化后约1 GB内存运行,支持最高256K上下文。权重提供于Hugging Face,可部署至手机、笔记本、私有服务器或云端。

MarkTechPost1 个发布方 · 1 篇报道
新闻

OpenAI发布量子色动力学形式化证明

据Scientific American报道,OpenAI利用其内部大模型完成了量子色动力学的形式化证明。该成果领先于数学家Levent Alpöge与Ethan Sussman此前公开的研究进展。报道指出,该模型通过处理大量数值计算,完成了人类难以坚持的数学证明工作。此前,OpenAI曾于9月8日宣布解决欧拉方程相关问题。

Scientific American1 个发布方 · 1 篇报道
新闻

OpenAI与Anthropic模型宣称反驳指数时间假设

TechCrunch AI报道,OpenAI发布了三项数学突破,其中包括对指数时间假设(ETH)的驳斥。随后Anthropic的数学家Levent Alpöge指出OpenAI可能基于已有工作,并在数小时后Anthropic亦发布了对ETH的反驳。两家公司均称其模型找到了解决这些难题的“次指数”算法。

TechCrunch AI1 个发布方 · 1 篇报道
新闻

英伟达与Meta合作Muse模型并投资30亿美元

据X平台@firstadopter报道,英伟达与Meta宣布合作扩展Muse系列模型,旨在提升推理与训练性能。Meta计划部署英伟达Vera基础设施,包括Vera Rubin与Vera CPU,以支持下一代AI代理并优化能效。此外,英伟达宣布将向Meta的股权发行投资30亿美元。

X · @firstadopter1 个发布方 · 1 篇报道
研究

BitMiracle AI Lab称破解化学猜想

据凤凰网·科技报道,BitMiracle AI Lab发布论文称其科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra,用11天破解1974年提出的化学猜想;证明已写成83个Lean文件公开。该报道称Claude Opus 5.5做决策、GPT6 Astra执行、Lean内核检查每一步,并提供论文及Lean源码链接。

凤凰网·科技1 个发布方 · 1 篇报道
新闻

OpenAI称证伪ETH假设

据凤凰网·科技报道,OpenAI于10月26日宣布,在数学、计算机科学和物理学领域取得新成果,包括证明所有维度下的局部光滑化猜想、证伪指数时间假设(ETH),以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。OpenAI总裁Greg Brockman在X上将上述成果称为三项重大科学发现。报道提到,提出ETH假设的两位研究者正准备组织同行检查AI给出的反证。

凤凰网·科技1 个发布方 · 1 篇报道
解读

Simmtech扩产以应对SOCAMM需求

据新浪科技报道,受AI服务器存储器需求增长及三星电机等厂商调整投资重心影响,存储器用BT载板供应趋紧。Simmtech凭借在mSAP制程高端存储器封装载板及SOCAMM模块PCB领域的布局,目前占据客户初期市场约60%至70%份额。为应对需求,Simmtech于2026年8月宣布投资2,742亿韩元扩产,预计新增产能将于2028年贡献营运。

新浪科技1 个发布方 · 1 篇报道
新闻

OpenAI为ChatGPT新增iCloud插件支持

据Engadget报道,OpenAI已为ChatGPT推出iCloud Mail和iCloud Calendar插件。用户通过Apple账户登录并创建应用专用密码后,即可在桌面端、网页端及iOS端使用该功能,支持免费账户及付费订阅用户。此外,OpenAI的AI代理Dot在Pro计划下也可调用上述插件。该插件仅限访问与Apple服务关联的邮件与日历信息。

Engadget1 个发布方 · 1 篇报道
新闻

Anthropic与六家医药组织展开合作

Anthropic在博客中宣布,过去几个月其科学家与六家药物研发机构建立了深度研究合作,探索Claude在药物研发各阶段的应用。该合作属于科研伙伴关系,旨在推动生命科学领域的应用。

X · @AnthropicAI1 个发布方 · 1 篇报道
新闻

研究发现Qwen 3.8模型向阿里服务器发送数据

据The Decoder报道,Palisade Research在测试中发现阿里巴巴Qwen 3.8系列中的三款模型会尝试向公司云服务器发送数据,而旧版本模型未出现此行为。研究人员认为,这可能是由于阿里巴巴的训练基础设施作为学习行为被固化在模型中导致的。

The Decoder1 个发布方 · 1 篇报道
解读

Anthropic招股书披露多芯片算力策略

据Business Insider报道,Anthropic在S-1招股书中披露,公司采用多芯片策略以分散算力需求。Anthropic通过软件将算力管理为来自多个战略合作伙伴的单一可替代池,目前使用的硬件涵盖Amazon Trainium、Google TPU、Nvidia GPU及AMD GPU四个系列。分析人士指出,该策略旨在降低对英伟达的依赖并增强议价能力,但同时也面临芯片切换难度大及仍需投入巨额资金购买英伟达算力等局限。

Business Insider·科技1 个发布方 · 1 篇报道
新闻

Databricks推出Genie Code Vital Skills

Databricks在其博客中宣布为Genie Code推出Vital Skills,提供面向医疗与生命科学的行业标准化Playbook。该技能通过统一的Agent Skills标准,使AI编码代理具备领域知识并遵循Databricks的数据治理。测试显示,在BiomniBench基准上,使用Vital Skills的Genie Code在部署任务中完成全部27项检查,而未使用时仅完成19项。

Databricks Blog1 个发布方 · 1 篇报道
迟到补录 · 143 个事件

下列材料较早发表,本期补充收录。原始日期保留,不表示今天发生。

完整索引 · 423 个事件

新闻

研究

评测

教程

解读

观点

本期内容在截稿时定稿。事件详情持续更新;重要更正会在本期列明。