The Leiden Declaration on AI and Mathematics proposes a 'mathematical Turing test' where AI systems are evaluated by human mathematicians across three phases—problem formulation, collaborative explora…
OpenAI's Astra AI system solved ten open mathematical problems, including the first explicit construction of a non-sofic group, a problem open since 1999, for a total compute cost of approximately $2,…
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…
Mathematicians have issued the Leiden Declaration on Artificial Intelligence and Mathematics, calling on the research community to take responsibility for how AI is adopted in the field. The declarati…
The Leiden Declaration on Artificial Intelligence and Mathematics was released today, warning that AI poses new threats to the intellectual culture of mathematics and calling for preservation of human…