OpenAI dumped 372 claimed math results on GitHub, many machine-verifiable in Lean but unexplained even by OpenAI's own mathematicians, while the company declined to publish the prompts its own advisory group asked for. The video ties that missing-receipts pattern to the AI debt market, where lenders are demanding to see books and OpenAI's annualized revenue just came in near $50 billion rather than the widely repeated $70 billion. It then covers an AI-assisted attack on at least nine South Korean banks by one person using an open-source tool, and proposes a three-layer accountability system modeled on anti-money-laundering rules.
- On 6 October OpenAI published 372 mathematical results on GitHub, including claimed progress on the Riemann hypothesis, most allegedly from a single prompt to a single agent — a month after a Navier-Stokes result that reportedly needed 10,000 agents and millions in compute, which the host finds suspicious.
- Many results came with Lean proof files, so correctness can be machine-checked (Scientific American called many 'all but certain to be correct'), but OpenAI admits its own mathematicians don't yet understand many of them.
- OpenAI's independent mathematician advisory group asked for the model, exact prompt and compute time with every result; OpenAI published average compute time but no prompts and said it is not bound by the group's recommendations.
- Thomas Bloom froze comments on the Erdős Problems site and removed solved/open labels after it filled with unexplained AI-generated proofs; the host still argues the knowledge is worth having even at cost to mathematicians, using aspirin (worked for 70 years before anyone knew why) as the analogy for 'knowing that' vs 'knowing why'.
- The AI debt market is straining: a $60bn package for Anthropic chip leasing was split into a $42bn senior tranche backed by Broadcom's residual value support and an $18bn junior tranche with no backstop, and banks may wait for an Anthropic IPO before lending; Morgan Stanley estimates $1.5 trillion of outside money needed by 2028.
- The Financial Times reported OpenAI's annualized revenue is close to $50bn, not the $70bn figure circulated for weeks and never denied — a $20bn gap partly explained by accounting differences over cloud-resold sales.
- At least nine South Korean banks were hit using RTX, an open-source attack harness published on GitHub that plugs into Claude, ChatGPT and DeepSeek; Shinhan reported ~25,000 customers' data compromised and KB Kookmin took about 68 hours to detect the breach.
- CrowdStrike traced the suspect to a 26-year-old in southern China by analyzing his AI sessions — he had asked Claude where to sell stolen Korean data and to write him a CV containing his age, Telegram account, education and hometown.
- The proposed fix has three layers: model companies must detect and report misuse like banks report suspicious transactions; agents should carry a user-level 'passport' on top of Web Bot Auth's company stamp, with thresholds akin to the $10,000 cash reporting rule; and institutions must defend themselves and treat unsigned agent traffic like spam.
372 proofs, no working shown
5:38–6:50
Crisply separates machine-verifiable correctness from human understanding, which is the thesis of the whole video.
Open AI told Scientific American that many of the new results are not yet understood by its own mathematicians. The company that handed in the answers cannot really explain them yet. This is basically every math teacher's nightmare. Full marks, no working show.
The $20 billion receipt gap
15:27–16:25
A concrete, freshly reported number that undercuts the demand story the entire AI debt build-out is borrowing against.
OpenAI's annualized revenue, which is the single number investors used to judge demand for AI, is close to $50 billion. Not the $70 billion that was widely reported just a few weeks ago... When the receipts finally showed up, it was $20 billion or less.
Full marks, no working show.
The most popular scoreboard in AI maths is now a scoreboard with no scores on it.
If someone breaks into your house to check the answer to a crossword puzzle, touches nothing and leaves, you're technically relieved, but you're also going to change the locks because now you know the locks don't work.
In math, you show your working and somebody else checks it. In finance, you open the books before anyone lends you a penny. Right now, AI hands over the answers and skips the receipts.