✳flâneur — a map of the web's best reading

Leiden Declaration on Artificial Intelligence and Mathematics

leidendeclaration.ai · 2,857 words · saved by 1 readers

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

Preamble Technological developments have repeatedly transformed the practice of mathematics. Recent artificial intelligence technologies, including symbolic and neural methods for the generation and formalization of mathematics, may already have initiated a significant chapter in this long history. Among researchers, artificial intelligence has produced a wide range of reactions: enthusiasm for its potential to yield new discoveries; intimidation by the pace of developments; indifference to these rapid changes; and concern for the implications, both for mathematics and in wider society. Mathem

Explore this link on the map →

related reading