Gowers (auto-discovered)

OpenAI announced in early August 2026 that its large language models solved ten major problems in mathematics and theoretical computer science, including the first construction of a non-sofic group an…

The Leiden Declaration, signed by over 3000 people, outlines five characteristic values of mathematical research that signatories aim to preserve in the face of AI advances, including the centrality o…