On artificial intelligence in mathematics and science

• Postdoc Hiring in the Age of AI: What Still Matters

  Alessio Figalli & Sobhan Seyfaddini Proofs and Prompts 6 November 2026 Text

  Two ETH Zurich professors on how they will judge postdoc applicants now: the substance of the work and in-depth mathematical interviews over paper counts.

• Futures of Maths Launch

  Francesco Fournier-Facio, Yara Kyrychenko, Jon Roozenbeek & Julian Wykowski Guest post on Terence Tao’s blog 5 November 2026 Text

  Introducing an evolving consultation in which research mathematicians can propose and rate statements about the effects of AI on their field.

• The Year Math Changed Forever

  Rivka Galchen The New Yorker 1 November 2026 Text

  A magazine feature on AI solving long-open problems and on Terence Tao as a guide for mathematicians adjusting to it.

• The Mathematical Sciences in an AI-enabled World

  Academy for the Mathematical Sciences Announced 31 October 2026 Text

  A report on opportunities, risks, and the support needed as AI changes mathematical research and its applications.

• Report of Summit on Math Research in the Age of AI

  Harvard Center for Mathematical Sciences and Applications Announced 30 October 2026 (summit, 22–23 October) Text

  Recommendations on research evaluation, open tools, formalization, collaboration, and support for students and early-career mathematicians.

• Preserving Our Humanity, Supporting Our Students: Doctoral Advising in Mathematics

  Association for Human Mathematics Teaching Working Group 27 October 2026 Text

  Recommendations and resources for doctoral students, advisors, and program leaders responding to generative AI.

• Disadvantages of Designating Mathematicians for AI Output Releases

  Advisory Group on Mathematics and Artificial Intelligence 25 October 2026 Text

  The group argues for equal access and community-led interpretation of AI-generated mathematics, examining concerns about agency, selection, and reputation.

• How to Formalize All of Mathematics

  Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash & Adam Topaz Xena 16 October 2026 Text

  A case for coordinated formalization built around reusable libraries, mathematical understanding, and long-term usefulness.

• There's never been a better time to go into math

  Grant Sanderson 3Blue1Brown 16 October 2026 Video

  Thoughts on the future of mathematics and why it remains worth studying.

• The Future of Mathematics

  Jeremy Avigad Guest post on Terence Tao’s blog 5 October 2026 Text

  Avigad suggests mathematicians respond to AI by taking on harder problems and bigger ideas, learning the new tools, and supporting the next generation.

• To grieve, or not to grieve?

  Kevin Buzzard Xena 1 October 2026 Text

  Buzzard reflects on mathematicians’ reactions to AI and on the motivations and human meaning of mathematical work.

• A Severe Misalignment of AI in Mathematics

  29 mathematicians Math and AI 11 September 2026 Text

  A declaration, signed mostly by Fields medalists and open for endorsement, arguing that treating math problems as AI benchmarks conflicts with the goal of understanding.

• Leiden Declaration on Artificial Intelligence and Mathematics

  International group of researchers Lorentz Center, Leiden June 2026 Text

  Concerns and recommendations on reliability, attribution, publishing, peer review and commercial involvement as AI enters mathematical research.

• AI for Scientific Discovery is a Social Problem

  Georgia Channing & Avijit Ghosh arXiv September 2025 Text

  Argues that the uneven impact of AI on science is mostly a social and institutional problem: hype, undervalued data work, and misaligned incentives.

• The Future of Mathematics?

  Kevin Buzzard Microsoft Research 2019 Video

  An earlier perspective on Lean, formal methods, and the tools mathematicians might build to support research and teaching.

No resources match your search.