16 Mathematicians Publish Leiden Declaration on AI's Role in Mathematics Research
burny_tech · x · 2026-09-30
The Leiden Declaration on Artificial Intelligence and Mathematics, signed by 16 mathematicians including Jarod Alper, Michael Harris and Ursula Martin, is now on arXiv.
It argues that symbolic and neural methods for generating and formalizing mathematics may have already opened a significant new chapter in how math is practiced, and notes the community's mixed reactions: enthusiasm, intimidation, indifference and concern.
The declaration calls on mathematicians to take responsibility for the discipline's continued flourishing and offers recommendations for individuals, institutions, governments and industry on how — and whether — to adopt AI in research. Much of it, the authors say, applies beyond pure research to the broader mathematical sciences.
More from Safety
- User claims OpenAI bots autonomously scan your Gmail after connecting and keep the data — alexcovo_eth · 2026-09-30
- IIT Madras AI head: scaling bigger models without safety systems is worrying — ravi_iitm · 2026-09-30
- Security researcher: the gap between finding a bug and a real-world attack is huge — dyn___ · 2026-09-30
- Google study: GPT-5.5 flags planted negative results in only 2/200 reports unless told 'be honest' — google · 2026-09-30
- The biggest threat actors now? Marketing teams at pre-IPO companies, says researcher — BlancheMinerva · 2026-09-30
- NYT's Kevin Roose: Why Are AI CEOs So Eager to Kneel Publicly on Safety? — _arohan_ · 2026-09-30