Association for Human Mathematics statement on OpenAI’s October 6 release of mathematical documents mathematics Article 242 words 24 votes
Overview of the proofs behind the Navier-Stokes $1 million millennium prize problem mathematics Article 1834 words 29 votes
An OpenAI model has disproven a central conjecture in discrete geometry mathematics Article 1461 words, published May 12 2026 35 votes