Crowdsourcing a list of general resources on AI and mathematics

Given current events, I think it is worthwhile to start collecting useful online resources with regards to AI and mathematics in general. I will start a list below, but ask contributors to contribute further links in the comments. Note that while I personally do not agree with 100% of the content of every single link below, I find each of them interesting enough to be worth mentioning here. I am excluding my own writings on these topics, which can be found here (and summarized here) instead. Resources specific to individual results, such as global regularity for Navier-Stokes, should be submitted as comments to other appropriate blog posts instead. Statements The Leiden declaration Max Weinreich, “The crisis of AI-generated mathematics“, 3 Aug 2026 Reports and analyses First proof Report by the MIT Ad Hoc Committee on AI Use in Teaching, Learning, and Research Training Opinions and community discussion Jeremy Avigad, “Mathematicians in the age of AI“, Mar 2026. David Bessis, “The fall…