Truth Check/7 October 2026
“"OpenAI's AI produced 722 new mathematical results", carried as 722 AI-generated proofs - verified as a set”
The claim as it travelled: coverage of OpenAI's 6 Oct 2026 release.
Overstated
The claim goes further than the page that produced it.
- Checked Against
- github.com ↗Primary
- Read the Check
- A trillion-parameter model for $1.36 a million tokens, open-weight by month-end, that does the cyber work Claude and GPT refuse. OpenAI's 722 maths papers: 4,000 problems in, not all checked.
Mistral's open weights against Anthropic's three vetted tiers - two answers, one day, to who gets the model that proves a flaw is real; "OpenAI's AI produced 722 new mathematical results" against the repository's own README; and the record check, one prompt that tells you whether your agent can edit its own history.
Every claim we have checked, in the Ledger.
Every claim checked against the page that produced it.
Three mornings a week, free.