AI科研资讯与深度分析

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

同一个科研平台上，8B 的 AstaBrief 平均 51.1 秒交出一份带引用的报告，Claude 驱动的流程要 178.5 秒。两种模式的用户正面反馈率，一个 84.2%，一个 85.2%。

他描述的机制很具体：传出某人在做某道题的风声，就足以引来大规模算力抢先把它推平。如果这套机制成立，数学界公开讨论研究方向的习惯，会比论文发表制度更早发生变化。

他把 AI 解一道未发表研究题的账算到数十至数百美元，然后把问题掉了个头：稀缺的将不再是证明，稀缺的是能读懂证明的人。数学界一百年来第一次要为自己的产出过多做准备。

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

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

Astra 这组证明的看点不止“AI 会做数学”。OpenAI 同时交出论文、Lean 证书和推理记录，等于把数学成果从口头战报推到可复查工程件。

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

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

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

AI科研 资讯与深度分析