Topic
AI for science
AI applied to mathematics, biomedicine and other research, and AI that speeds up research itself.
Follow this topic
On this site · ElsewhereTopic graph
16 nodes · 62 links- Entries in this topic
- Neighbours outside the topic
- Builds on · Successor · Extends
- Prerequisite · Uses
- Explains · Supports
- Related
Skills and knowledge entries are written in Chinese, as are signals from Chinese sources.
Published signals
13 signalsGemini 4 Argon: Built to solve your hardest problems
We’re giving developers, enterprises, scientists, and consumers access to Gemini 4 Argon, our latest frontier model.
One Model Family, Two Gold-Level Results: Fine-Tuning Nemotron for IOI and IMO
One Model Family, Two Gold-Level Results: Fine-Tuning Nemotron for IOI and IMO
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Anthropic 公布内部测量：Claude 主导 26% 的研发，裁判也是 Claude
OpenAI 公开研发提速数据两周后，第二家实验室跟上：Anthropic 发布三组内部测量，并对每一组写明任何开发者今天就能怎样发布同样的数字。截至 8 月，Claude「主导」了约 26% 的 AI 研发工作（2 月不到 1%），90% 以上达到「协作」及以上，没有任何一类完全自主；约 3 万个内部智能体的动作 100% 在执行前经过监控，10 亿多次决策中约 47,000 次拦下 1 次；研发算力约 6% 用于安全。它自己点出最大的弱点：给自动化等级打分的裁判也是 Claude，模型与人一致率 59%，而人与人之间只有 35%。
Some thoughts on the Navier–Stokes Millennium Prize Problem
OpenAI's claimed resolution of the Navier–Stokes problem, the priority dispute with Tristan Buckmaster and Levent Alpöge, and the unanswered question of whether their product usage helped train the model.
AlphaGenome Atlas: A predictive map of every possible DNA letter change in the human genome
A platform containing predictions for the effects of 9 billion single-nucleotide variants — every single-letter change possible — in the human genome.
Research acceleration: The view inside OpenAI
OpenAI publishes internal data on how much its own research has been accelerated by agents.
菲尔兹奖得主：模型强在找到那个对象，弱在知道何时放弃
1998 年菲尔兹奖得主 Timothy Gowers 把近期最轰动的几项模型数学成果摊在一起看，发现它们几乎全是「构造出一个对象」而不是「证明一条定理」。他随后否掉了最顺口的解释，给出的替代解释适用范围远超数学：模型的两项确定优势是知道得多、失败得起，于是它在「大量试、试错便宜」的路线上占优；而人类暂时保住的那一项，是走到半路能闻出这条路没戏，从而砍掉搜索树的绝大部分。
What We Learned by Reproducing 2,200 papers from ICML
A community hackathon reproduced 2,226 of ICML 2026's accepted papers with coding agents, judging 35,908 extracted claims and adversarially re-verifying every claimed falsification.
668 阶哈达玛矩阵被构造出来：三个人加 Claude，清掉 2000 阶以下所有未决阶数
Anthropic 研究员、数学家 Levent Alpöge 报告：由三名人类与 Claude 组成的团队构造出 668 阶哈达玛矩阵——2005 年以来最小的未知阶数，人类卡了三十年。他一次放出 12 张矩阵，清掉 2000 阶以下所有悬而未决的阶数。EpochAI 已在 FrontierMath 上暂标为「由 AI 解决」。
AMIE, our research medical AI system, demonstrates real-time clinical video consultation capabilities in a first-of-its-kind study
Google Research and DeepMind advanced AMIE to real-time clinical video consultations using a multi-agent architecture on Gemini and Project Astra, evaluated favorably against primary care physicians in a randomized simulated study.
智能体复现审计：ICML 2026 的 92 篇论文里，只有 8 篇能复现八成结论
一次用 AI 智能体做的系统性复现审计显示：ICML 2026 的 92 篇可验证论文中，仅 34 篇能复现超过四成结论，能复现八成以上的只有 8 篇。另一项基于 GPT-5 的检查发现，平均每篇论文有 4.7 个客观错误，99.2% 的论文至少被标出一个问题。
ARA：把论文从 PDF 改成智能体能直接操作的知识包
论文《The Last Human-Written Paper》主张停用 PDF：它把研究的探索过程剪成一条干净的成功路径，又把复现所需的工程细节丢在正文之外。作者提出 ARA——一个分四层、机器可直接操作的知识包，并给出一个数字：PaperBench 的 8921 项复现要求里，仅 45.4% 在 PDF 中得到完整说明。