Journalism begins where hype ends

,,

We can only see a short distance ahead, but we can see plenty there that needs to be done.” "

—Alan Turing

Five AI Risks to Mathematics Identified by 16 Researchers From 15 Universities

Researchers at a Leiden workshop that helped shape the Leiden Declaration on AI and mathematics.Or slightly sharper:

The Leiden Declaration on Artificial Intelligence and Mathematics warns that AI-generated proofs could erode trust in mathematical research by producing convincing but difficult-to-detect errors.