Morning Edition · Sunday, August 30, 2026Published at 2:24 AM EDT · New York
The model produced a proof in Lean that passed machine verification, and two outside specialists reviewed the write-up, but it has not been through journal peer review.

Anthropic asked an unreleased research version of Claude to attempt the Riemann hypothesis. It did not solve it. The company reports that the model instead improved a longstanding lower bound on a related problem, raising the proven fractio…
Track frontier labs, chips, export controls, model releases, regulation, and AI infrastructure.
The Global Intelligence Brief stays free.
Part of a tracked trend
AI Moves Into Autonomous Scientific Discovery and Clinical Care
Over the next 3-9 months, AI systems move beyond text tasks into running real scientific experiments and managing clinical care, backed by peer-reviewed and benchmarked evidence of chemist- and physician-level performance.
Start a discussion in Townsquare.
More from this edition
Comments
0No comments yet.