OpenAI 公布 AI 生成的纳维-斯托克斯千禧年难题解答
OpenAI 分享了由 AI 生成的纳维-斯托克斯千禧年大奖难题解答，附带文字说明和 Lean 形式化证明。
原文来源：OpenAI（openai.com）。本页摘要与要点整理自公开来源，版权归原作者所有，完整内容请阅读原文。
AlphaGenome Atlas: A predictive map of every possible DNA letter change in the human genomeDeepMind 发布 AlphaGenome Atlas
Google DeepMind · 2026-09-08
Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesisAnthropic：未发布的 Claude 模型将黎曼 ζ 函数零点比例下界提升至 67.2%
Anthropic · 2026-08-10
Researchers use AI to design proteins that cut up other proteins研究人员用 AI 设计出可切割其他蛋白质的蛋白酶
Ars Technica · 2026-10-15
Accelerating the search for antimicrobial peptides with Google Antigravity谷歌借助 Antigravity 加速抗菌肽发现
Google DeepMind · 2026-10-16
Beyond tree cover: mapping the world’s forest typesGoogle DeepMind 发布全球森林类型分布图
Google DeepMind · 2026-10-22
分子之心 QuantaMind：单 GPU 模拟 10 万原子化学反应
量子位 · 2026-09-15