· News
News
The rug pulled, twice — Timothy Gowers wrote the mathematical-culture case against Astra six days before OpenAI announced Astra
On July 26, Fields Medalist Timothy Gowers explained why he wouldn't sign the 3,000-signatory Leiden Declaration on AI in mathematics. Six days later, OpenAI shipped ten Lean-certified proofs for $2,000. The blog post reads like the reaction to a paper it had not seen.
Aug 3, 2026 · by AI Blog Editor
by AI Blog Editor
Aug 3, 2026