OpenAI said a Lean formalization backed its Navier-Stokes proof. An arXiv paper finds the Lean code uses five extra derivatives where the written proof claims four.

Members get the full file

What each receipt proves, and what would change our mind.

• Every receipt with its source, date and stance, plus what it proves
• The figures table, each number traced to the receipt that states it
• The trick behind the claim, explained, with the guide to spotting it
• What would change our verdict
• Our call on the record, with its due date

The verdict, the opening and every source link stay free. Membership opens the evidence file for every checked story.

First membership: 30 days free, then A$89 a year. One introductory trial per customer. Card required; renews annually until cancelled. Cancel before the trial ends to avoid the first charge.