主题标签

猜想

关于该主题的全部内容，按发布时间持续更新。

8 篇内容

本期主稿 2026.11.07

AI 三天证明悬了 18 年的量子计算猜想，用的是 Anthropic 一个还没发布的模型

数学和物理领域最近接连被 AI 撞开一道口子。这次轮到了量子计算的基础理论：一个 2008 年提出、悬了十八年的猜想，被一套基于 AI 的研究系统在三天内证明出来。AI 三天证明悬了 18 年的量子计算猜想，用的是 An…

约 5 分钟阅读全文

openai-gpt 2026.10.27 约 5 分钟

OpenAI 宣布，自家模型在数学、计算机科学和物理学三个领域取得重大突破，称其具备独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究…

AI 日报 2026.10.27 约 15 分钟

凌晨两点，数学圈的群聊里有人贴出一条链接，配文只有四个字：“真的假的”。链接指向 OpenAI 的 GitHub 仓库，里面是一份用 Lean…

openai-gpt 2026.10.27 约 10 分钟

凌晨的数学圈群聊里，有人贴出一行链接，配文只有四个字：“真的假的”。链接指向 OpenAI 的 GitHub 仓库，里面躺着一份用 Lean 形…

AI 日报 2026.10.07 约 7 分钟

今天的 AI 圈，堪称「数学与智能体的双料狂欢」。OpenAI 在「疯狂 28 天」首日一口气发布 722 篇数学论文，把黎曼猜想、霍奇猜想、B…

openai-gpt 2026.10.07 约 4 分钟

想象一下这样的场景：你是一位数学家，早上打开邮箱，发现一夜之间收到了 722 篇数学论文——全部来自同一家公司。这不是科幻情节，而是 OpenA…

anthropic-Claude 2026.08.15 约 6 分钟

核心看点 Anthropic让未发布的研究版Claude尝试证明黎曼猜想虽未解决这个百年难题，但意外将相关问题的下限从41.6%提升至67.2…

anthropic-Claude 2026.08.11 约 4 分钟

Anthropic今日宣布一项震撼数学界的成果：其Claude模型在持续数天的自主测试中，成功将黎曼ζ函数临界线上零点比例的长期下界从41.6%…