suhr

"The increasing involvement of technology companies in mathematical research raises the risk that research questions may come to be prioritized because of their amenability to automated mathematics, rather than expert judgment of their deeper significance."

Leiden Declaration on Artificial Intelligence and Mathematics leidendeclaration.ai

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 →

This is nicely put. The machine that subordinates all life to its own algorithm of self-expansion is already operating: It’s called capital. www.newyorker.com/science/anna...

Will A.I. Become the New McKinsey? newyorker.com View on Bluesky →

What's important isn't the quality. It's the sales pitch for AI products as having not simply the *capacity* to educate, but the *right* to be used in this way, which, as I type this out, is now a mandatory part of secondary school education in Boston. www.forbes.com/sites/joh…

Boston Institutes AI Literacy For All High Schoolers forbes.com View on Bluesky →