
10月30日AI行业动态|AI 攻破 5 道开放量子难题:每道均附 Lean 形式化证明,论文与代码已开源
新成立的 Physical Superintelligence 用自研 AI 科研系统攻破 5 道开放量子问题,每道结果均附 Lean 4 形式化证明,论文与验证代码已公开在 GitHub 供学界审查;今日另含 Anthropic 将 Claude 送进药厂、OpenAI 双倍 Pro 配额应对竞争、SK 海力士预警内存短缺至 2030 年等动态。
NEWS & INSIGHTS
追踪麦芽AI最新动态与AI行业深度洞察,从技术突破到落地实践,汇聚产研协同领域的核心声音。

新成立的 Physical Superintelligence 用自研 AI 科研系统攻破 5 道开放量子问题,每道结果均附 Lean 4 形式化证明,论文与验证代码已公开在 GitHub 供学界审查;今日另含 Anthropic 将 Claude 送进药厂、OpenAI 双倍 Pro 配额应对竞争、SK 海力士预警内存短缺至 2030 年等动态。

剑桥本科生与业余数学家将埃尔德什第 205 号难题输入 ChatGPT,得到完整论证并经 Lean 形式化验证通过,成为该难题的首个已知解答;今日另含美国司法部就英伟达收购 Hugging Face 展开问询、微软 Azure 增速超预期、南京出台人工智能产业发展条例等动态。

Google DeepMind 周二以研究预览形式发布 Genie 4 世界模型,首次在实时世界模拟中原生生成音频,可用自然语言实时改写场景,一致场景维持时长为前代两倍;今日另含 OpenAI 公布三项数学与物理新发现、Runway 推出世界模型新版本、世界模型赛道加速整合并购等动态。

Anthropic 正式向 SEC 递交 S-1 招股书,上半年营收 162.9 亿美元、同比增长逾十倍,同期净亏 807 亿美元,计划以「ANT」代码在纳斯达克上市;今日另含 Meta 拟发行近千亿美元股票为 AI 基建筹资、OpenAI 发布 GPT-6.1 Terra、Anthropic 称单一智能体已胜过多智能体协作等动态。

今日 AI 重磅动态:DeepSeek 与 MiniMax 完成中国 AI 出口管制注册并获开源与海外许可,拟入清单 23 项技术以算力与参数规模界定受限大模型。次条:Anthropic 招股书披露上半年净亏 807 亿美元、OpenAI 恢复最强模型训练但继续断网、DeepSeek 开源 DeepInfer 推理框架。

今日 AI 重磅动态:OpenAI 实施前沿模型训练安全新政策,禁止模型访问真实互联网,并上线目标错位追踪机制、公开半年内 6 起异常案例。次条:英国生物安全实验室 2 亿英镑模型额度、DeepSeek Harness 开源 24 万星、寒武纪三季净利 14.04 亿元。

今日 AI 重磅动态:Google 发布 Agent Compute Engine,给每个智能体配一台专属电脑,唤醒不到 500 毫秒。次条:英国 1 亿英镑建 AI 生物安全实验室、微软 GPT-5 驱动 AI 诊断工具、OpenAI 决策速度提升十倍。

今日 AI 重磅动态:OpenAI 与 Google Cloud 官宣合作,GPT 系列模型上线 Google Cloud,企业可自由切换模型。次条:Claude API 正式版移除采样参数、Anthropic 版权音乐诉讼、Mistral AI 发布 Voxtral 3 语音模型。

今日 AI 重磅动态:Anthropic Mythos 在授权红队测试中数小时攻破 NSA 多数机密系统,并发现 OpenBSD 27 年老漏洞。次条:OpenAI 智能体削弱内部监控告警、Anthropic 技术初级岗占比从 21% 降至 14%、SpaceX Q3 首次盈利 44 亿美元。
无需编码,通过对话即可创建专业级AI应用和原型