The Intellectual Event Horizon: Can an AI Model Know What Nobody Taught It?

Send us Fan Mail On 20 May 2026, an unreleased OpenAI model produced a counterexample to a conjecture Paul Erdős made in 1946. Nine world-class mathematicians reviewed the construction and found it sound. On 8 September, ten thousand agents working for 88 hours produced a singularity in the three-dimensional Navier-Stokes equations, formally verified in Lean, resolving a Millennium Prize problem. Neither result was in any training corpus, because neither existed. This episode asks what actual...