#Matemática

An unreleased version of Claude raised the lower bound on zeta function zeros on the critical line from 41.6% to 67.2%. It's not a proof of the Riemann hypothesis. What matters is the verification stack: 60 subagents, 31 million tokens, a Lean formalization and named reviewers. And that's exactly the bar missing from the 0.002% claim attributed to GPT-5.6 Sol.

A month before the GPT-6 launch, OpenAI announced that an internal version of Astra solved 10 open problems in mathematics and complexity, with verifiable Lean proofs. A record of what was confirmed (Connes, Erdős, non-sofic groups, the $2,000 cost), the mathematicians' skepticism, and what circulated as rumor until the model shipped.

GPT-5.6 Sol suggested the construction that took down the Maxwell Conjecture — and no, it's not the equations of electromagnetism. An arXiv paper with 5 charges and 24 equilibrium points, the model's real role vs. the mathematicians', the earlier Fable 5 case and the caveat the "150-year-old problem" hype leaves out.

Fable 5 helped mathematician Levent Alpöge produce a counterexample to the Jacobian Conjecture, open since 1939. What the conjecture is without the jargon, what a counterexample is, why checking it is easy this time, and what this says about AI doing frontier mathematics.