# AI Tools Review

By [DYLIT Chronicles](https://dylit.info/user/dylitmediabuzz)

[Everything AI](https://dylit.info/pr/everything-ai/6a9efac02e92664f4d50cf9d) > [AI Tools Review](https://dylit.info/ch/ai-tools-review/6a9efac02e92664f4d50cfc0)

World's Top Mathematicians Warn: AI Is Damaging Both Science and Its Community The Warning In June 2026, roughly two thousand mathematicians, including researchers from Harvard, Oxford, Cambridge, and Columbia, signed the Leiden Declaration on Artificial Intelligence and Mathematics, a statement published in response to rapid progress by AI in producing research-level mathematics. It originated at a September 2025 workshop at the Lorentz Center at Leiden University and is endorsed by the International Mathematical Union. It's not a rejection of AI. It's a warning that the technology, used carelessly, could hollow out the values that make mathematics trustworthy in the first place. Cracks in Scientific Practice The declaration warns that reliance on AI-generated proofs threatens the accuracy, reliability and independent verifiability of mathematical research. The authors warn that AI-generated papers could overwhelm peer-review systems with low-quality work and make it difficult to assign proper credit for discoveries. The drafting group formulated several main risks of AI for mathematics, including unreliable results and missing citations. When a model draws on thousands of past papers to generate an answer, tracing where an idea actually came from gets hard, and reproducibility starts to wobble. Strain on the Community Beyond the papers themselves, the signatories worry about what AI does to the people doing the work. AI adoption could disadvantage researchers who choose not to rely on AI tools. The declaration also describes the increasing involvement of technology companies in mathematical research as threatening the autonomy of mathematics, especially as researchers may feel professional pressure to collaborate with tech firms on unequal terms. Trust between colleagues, built over generations on transparent methods, could erode if nobody can tell what was human reasoning and what wasn't. What the Mathematicians Want The declaration doesn't call for banning AI. It asks individual mathematicians to disclose AI use, remain accountable for the correctness of their work, and continue crediting human authors. It also urges governments to establish public computational infrastructure so the tools of scientific discovery remain transparent and independent of private corporate control. Mathematician Terence Tao, widely regarded as one of the most important working today, is among those who signed. A Field at a Crossroads Mathematics has survived new tools before: calculators, computers, proof assistants. What's different now, the signatories argue, is the scale and speed of AI, and how much of the field's culture, mentorship, credit, careful verification, was built on quiet, informal practices never designed to survive this fast a shift.   Sources https://www.science.org/content/article/mathematicians-issue-warning-ai-rapidly-gains-ground https://en.wikipedia.org/wiki/Leiden_Declaration_on_Artificial_Intelligence_and_Mathematics https://www.universiteitleiden.nl/en/news/2026/06/leiden-declaration-warns-ai-is-challenging-the-core-values-of-mathematics YouTube Videos "The Leiden Declaration: Mathematical Truth vs. AI Probability" — https://www.youtube.com/watch?v=OKBZJkUK2Gk "The Leiden Declaration: A Stand for Human Reason" — https://www.youtube.com/watch?v=TbSXeIV38Mc