AI科研资讯与深度分析

收录 AI科研相关 AI 新闻、产品动态和产业观察。本页收录 7 篇已发布文章。

编辑精选他把 AI 解一道未发表研究题的账算到数十至数百美元，然后把问题掉了个头：稀缺的将不再是证明，稀缺的是能读懂证明的人。数学界一百年来第一次要为自己的产出过多做准备。陶哲轩把他在 2026 年国际数学家大会上的公开讲座整理成一篇十

编辑精选寻明生科的新融资不像一笔普通 AI 制药下注。1 亿美元 B 轮、近 2 亿美元累计融资、OpenDDE 开源和湿实验闭环，指向同一个变化：模型公司开始把实验室当成训练系统的一部分。寻明生科这轮 1 亿美元融资，最该被盯住的地方

编辑精选 Claude 没有证明黎曼猜想。新节点在旁边：Anthropic 称一个未发布研究版 Claude，把满足黎曼猜想的 zeta 零点比例下界从 41.6% 推到 67.2%，并给出论文、专家说明和 Lean 形式化。 Claude

编辑精选 Astra 这组证明的看点不止“AI 会做数学”。OpenAI 同时交出论文、Lean 证书和推理记录，等于把数学成果从口头战报推到可复查工程件。如果一家公司说自己的模型解了数学难题，最麻烦的问题往往很快出现：谁来确认它没漏掉一

一份只有三页的 PDF，把数学圈和 AI 圈同时拽到审稿桌前。 OpenAI 放出的循环双覆盖猜想证明，署名栏没有某位图论专家，写的是 GPT 5.6 Sol Ultra 与 Codex。它声称处理了一个延续近半个世纪的图论难题；眼下更硬的

Anthropic 6 月 30 日上线了一个叫 Claude Science 的新产品，摆明了要给做实验的人用。公司自己的类比很直接：Claude Code 之于写代码，Claude Science 之于做科研。它不是又一个聊天框。An

Anthropic 最近开新产品线的速度，快得有点不讲道理。 6 月 30 日，它又端出来一个，叫 Claude Science。跟外界猜的不一样——这回发的不是新模型，是一个给科学家用的"工作台"（workbench）。它到底干嘛的一

AI科研 资讯与深度分析