An OpenAI Model Reportedly Found a Counterexample to an 80-Year-Old Math Conjecture
In one of the more quietly extraordinary claims of the week, OpenAI reportedly demonstrated a model finding a counterexample to a longstanding mathematical conjecture — a result that, if verified, represents a genuine novel discovery.
Buried among product updates and funding news, both @oscarlau and @ainunnajib flagged that an OpenAI model helped find a counterexample to a mathematical conjecture that had stood for roughly 80 years. Details in the briefings are sparse — neither names the specific conjecture nor describes the verification process — but the claim, if substantiated, is one of the more significant demonstrations of AI-as-research-tool to date.
Unlock the full briefing
Get every story in today's briefing, the full archive, and the daily AI intelligence brief.
All stories today
Full archive
Daily brief
Cancel anytime. Payments powered by Stripe.