Topic
AI research
Frontier AI research — reasoning, mathematics and AI applied to scientific discovery.
OpenAI's Navier–Stokes proof: what 10,000 AI agents actually changed
The mathematics is one page in a longer ledger. The bigger story is a 10,000-agent swarm, a Lean-checked proof, and a cost line that keeps falling.
Anthropic launches Claude Science, an AI workbench built for the lab
The product shipped on 30 June, but the strategy is older than that: a $400M acquisition, a Nobel hire and Amodei's 10x thesis all converge on one bet — that the moat in AI-for-science is workflow and data, not model IQ.
AI as scientific instrument: what OpenAI's June wave actually demonstrates
Four results in four days — rare-disease diagnosis, a near-autonomous chemist, a sobering benchmark. Tracing how each was validated is the only read that matters.
AI is doing real mathematics — what that actually means
Not summarising maths — contributing it. Here's how, why it's verifiable, and where the limits are.
The month AI started doing real mathematics
Two labs, days apart, used AI to produce genuinely new maths. How they did it matters more than that they did it.