↻
joao reposted
@gro-tsen.bsky.social
Let me close this thread by linking once more to the closest thing the mathematical community has to a collective position on AI and use of AI in mathematics, and the threats they pose: the Leiden Declaration leidendeclaration.ai •38/38
AI Weekly's analysis
→
- The Leiden Declaration, released June 2, 2026, warns AI threatens proof integrity, attribution, and peer review in mathematics.
- Over 2,654 signatories including Fields Medal winner Terence Tao have endorsed the community-initiated declaration.
- The International Mathematical Union backs the declaration, which makes separate recommendations to researchers, publishers, policymakers, and AI developers.
Read full analysis →
View on Bluesky →