#Matemática

01 #harness · #multi-agent

Claude Went From 41.6% to 67.2% on the Riemann Hypothesis. And GPT-5.6 Sol Answered With 0.002%

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.

11 Aug · 10 min ›

02 #openai · #noticias

Before GPT-6: The 10 Math Problems OpenAI's Astra Solved, the Lean Proofs, and the GPT-5.7 Rumor

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.

01 Aug · 9 min ›

03 #openai · #ia

GPT-5.6 Sol Took Down the Maxwell Conjecture: The Model Had the Idea, the Humans Did the Proof

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.

31 Jul · 8 min ›