Timothy Gowers on the Leiden declaration: https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/ basically "yes there are some issues with LLMs but they're getting better so these will soon be resolved, also access to LLMs might be a source of inequality but let's just really ignore that part because I am a spineless AI-booster". Also "AI companies are doing this out of goodwill and are TOTALLY interested in providing benefits to maths reaearch, surely not trying to sell a product". Combined with 0 discussion of ethical and environmental concerns, this was unfortunately expected but still disappointing.