The Mathematicians' Declaration Is on the Wrong Side of History
130+ mathematicians signed the Leiden Declaration warning AI proofs contain subtle errors and could steer mathematical funding. Dr. Wissner-Gross says this is rearguard action after OpenAI solved the Erdős conjecture, and it will not work — AI has already cooked math.
