The Leiden Declaration: Mathematicians Draw a Line in the Sand Against AI ‘Black Box’ Proofs
As OpenAI and other LLMs begin solving long-standing mathematical conjectures, the Leiden Declaration urges a shift toward human-centric understanding over algorithmic output.
