Tech News
← Home  ·  All topics

Leiden Declaration

3 GoKawiil briefs on this topic

Mathematicians Debate Role of Illustration as AI Challenges Proof-Centric Research

A trimester workshop at the Institut Henri Poincaré in January brought together mathematicians, historians, artists and educators to explore whether mathematical illustrations can be considered rigorous. The discussions produced an article tied to the Leiden Declaration that has now been accepted by the Notices of the American Mathematical Society, examining how visual and computational media contribute to mathematical understanding beyond formal proof.

Mathematicians push back as AI upends research norms after Navier-Stokes claim

Following OpenAI's announced solution to a Navier-Stokes Millennium Prize variant, thousands of mathematicians signed declarations like the Leiden Declaration and Math and AI letters seeking to protect research norms, while others opposed events such as the Caltech Mathathon. Economists and technologists pushed back, arguing mathematicians should adapt rather than resist AI's growing role. Po-Shen Loh's essay examines these objections and questions whether human mathematicians remain necessary.

25 Fields Medallists warn AI benchmark race is distorting mathematics research

A group of 25 Fields Medal-winning mathematicians has issued a joint declaration warning that AI companies' rush to use famous unsolved math problems as benchmarks for large language models is harming the discipline. They argue that while LLMs have rapidly gained the ability to crack major open problems, this benchmark-driven approach conflicts with how mathematical knowledge has traditionally been built and validated over generations.