The Leiden Declaration: Mathematicians Brace for AI’s Entry into High-Level Proofs
As OpenAI models begin solving long-standing conjectures in combinatorial geometry, the global math community issues the Leiden Declaration to preserve human understanding.