OpenAI releases 722 math papers at once; the mathematics community is stunned
Papers stretch hundreds of pages but remain unreadable and unverifiable; OpenAI provides only partial Lean verification code to justify rigor, forcing the math world to confront the possibility that humans may genuinely be unable to match the speed of AI proof-finding.
The video won't play here. Listen to the audio instead:
The argument · tap a timestamp to hear it
Every electoral cycle penalizes incumbents rather than advancing ideology
Rather than supporting one political camp, U.S. voters demonstrate a consistent pattern since 2015 of rejecting whoever holds power. This anti-establishment behavior, appearing in nearly every election since 2015, may reflect social media amplification of discontent or voter perception that government is fundamentally broken. This pattern explains the unusually large midterm reversals.
— SteveCorruption emerges as unprecedented voting consensus across the electorate
Historically voters internalize corruption as a standard business cost—something every party practices equally, so voting power becomes wasted on it. This cycle, roughly 90% of voters explicitly named corruption as a voting factor, an unusual convergence the host identifies as genuinely anomalous.
— Jay‘Shared decision-making’ language shifts expert judgment onto unqualified parents
The CDC shifted hepatitis B vaccination from ‘mandatory at birth’ to ‘decision to be made jointly by parent and doctor’. The framing sounds empowering but actually transfers responsibility for epidemiological judgment from professionals to people without training. The host notes this language comes directly from anti-vaccine rhetoric playbooks.
— KaraDelaying hepatitis B vaccination two months raises chronic infection 19%
A simulation study published in Annals of Internal Medicine found that even a two-month postponement of newborn hepatitis B vaccination raises the rate of chronic infection by age 20 by 19%. If adoption of ‘when or whether to vaccinate’ language results in only 50% completion, chronic infection rates jump 83% and U.S. cases balloon from under 250,000 to 1.8 million.
— KaraPotassium salt substituted globally could prevent approximately 3 million deaths
Replacing chloride with potassium chloride in salt lowers absolute sodium intake while improving the sodium-to-potassium ratio, simultaneously suppressing blood pressure through two mechanisms. Modeling shows that global replacement of all added salt with potassium salt prevents roughly 3 million deaths yearly and avoids approximately 70 million disability-adjusted life years. Researchers tested the conclusion against thousands of parameter variations; the finding remains robust.
— SteveMathematicians suspect OpenAI trained its model on their research queries
On September 8, OpenAI announced a breakthrough on the Navier-Stokes equation—one of the seven Millennium Prize Problems—claiming to have found a solution that ‘blows up’. Two mathematicians, Buckminster and Alpoga, who had previously used OpenAI tools to research the same problem, publicly accused the company of training its model on their research queries, suspecting it had reverse-engineered their thinking. OpenAI denied this. Outside observers can never verify the truth; they can only choose to believe or disbelieve.
— BrianOne batch of 722 papers overwhelms the mathematics community's verification capacity
On October 6, OpenAI simultaneously published 722 mathematics papers on GitHub spanning proofs and counterexamples, some with verifiable Lean code and some without. Papers often run hundreds of pages and show no consideration for human readability—the goal is ‘to produce results’, not ‘to teach’. Even professional mathematicians found them unreadable, and the entire discipline erupted in shock and argument.
— BrianThe frontier of mathematics may now be comprehensible only to AI
Theoretical physicist Matt Strassler wrote that this development means the age of a ‘Newton’ or ‘Einstein’ is finished—no human can keep pace with this speed. Guest Brian argues that mathematics derives value from the proof process itself, not the result. If the process becomes unverifiable and subsequent researchers continue stacking work on top of unvalidated AI results, the entire discipline risks becoming a ‘house of cards’.
— BrianAncient Athens filled most public offices through lottery, not election
Though ancient Athens is the earliest recorded democracy and did allow free adult male citizens to vote, most officials were appointed by sortition—random lottery—typically for one-year terms. The design explicitly prevented power from concentrating in wealthy hands. If someone accumulated too much influence, citizens could vote to exile that person for ten years. Ironically, only about 10% of the total population could participate in voting.
— SteveIn their own words · checked verbatim
but there is this pretty consistent now anti-incumbent factor in every election since 2015
Steve3:04
Don't be duped by this as a consumer because it feels right and it feels safer and it feels healthier. I'm telling you that statistically, scientifically, scientifically, it is not safer. It is not healthier.
Kara57:34
So if you did the worldwide replacement of all salt, they said their model said that it would prevent about 3 million deaths a year worldwide.
Steve1:01:40
it's not even the canary in the coal mine. I mean, that canary has been dead for a while, I think, in this scenario.
Brian1:19:18
But it caused the entire community of mathematicians worldwide to lose their goddamn mind.
Brian1:20:18
Matt Strassler, who's a theoretical physicist, in his blog said this essentially means there are no more Newtons or Einsteins out there because no human will ever be able to keep up with this.
Brian1:39:02
They thought if you're running for office, then that would over time see too much powerful to wealthy elites. And they didn't want that to happen.
Steve1:56:47
Figures
| Voters citing corruption as key voting factor | 90% | 7:47 |
| Chronic hepatitis B infection increase from two-month vaccine delay | 19% | 50:12 |
| Chronic infection increase with ‘whether or when to vaccinate’ adoption | 83% | 52:19 |
| Annual deaths prevented by global potassium salt substitution | Approximately 3 million | 1:01:40 |
| Disability-adjusted life years reduced by global potassium salt substitution | Approximately 70 million | 1:01:40 |
| Mathematics papers released by OpenAI in single batch | 722 | 1:20:18 |
| Percentage of ancient Athens population eligible to vote | Approximately 10% | 1:56:47 |
| Global population living in ‘full democracy’ | 6.6% | 1:53:38 |
Glossary
- Lean
- Programming language that automatically verifies whether mathematical proofs are logically sound.
- sortition
- Selection of officials by random lottery rather than election; used to prevent power concentration in ancient Athens.
- Navier-Stokes equation
- Partial differential equation describing the motion of viscous fluids; one of the seven Millennium Prize Problems in mathematics.
- mathpocalypse
- Term describing the sudden release of vast quantities of AI-generated mathematical proofs that disrupt the entire discipline.
- action bias
- Cognitive bias whereby people blame bad outcomes caused by action more readily than those caused by inaction.
How to listen
Founders and engineers concerned about how AI will disrupt knowledge work, and anyone tracking how public health policy language can be manipulated.
The opening midterm election chat and bear stories are low information density; jump straight to the vaccine, salt, and math sections.