In practice

• 1 October 2026

  What about the preprints?

  by Manuel Rissel

  arXiv · Norms · Reflection · Research dissemination

  7 comments on What about the preprints?
• 26 September 2026

  On using LLMs without telling which ones

  by Some Mathematician

  Attribution · Norms

  30 comments on On using LLMs without telling which ones
• 23 September 2026

  Navigating the AI crisis: a humble guide for students

  by Tarik Aougab

  Guide · PhD students · Reflection

  4 comments on Navigating the AI crisis: a humble guide for students
• 11 September 2026

  We Need a Stockfish for Math

  by Oren Hartstein

  Automation · Chess · Reflection

  7 comments on We Need a Stockfish for Math
• 9 September 2026

  How to welcome LLM use into student research mentorship

  by Joshua Siktar

  Norms · Supervision · Teaching

  1 comment on How to welcome LLM use into student research mentorship
• 8 September 2026

  (auto)formalization, but why

  by Seewoo Lee

  Formalization · Lean · Reflection · Understanding

  3 comments on (auto)formalization, but why
• 2 September 2026

  Rethinking Maths education: A perspective from Olympiad and higher education

  by Baptiste Serraille

  Supervision · Teaching · Thesis

  5 comments on Rethinking Maths education: A perspective from Olympiad and higher education
• 27 August 2026

  Evaluating mathematical merit

  by Qi Guo

  Analysis · Evaluation · Experiments and practice

  6 comments on Evaluating mathematical merit
• 26 August 2026

  Statement on AI usage for PhD students

  by Manuel Rivera

  PhD students · Statement · Teaching

  1 comment on Statement on AI usage for PhD students
• 21 August 2026

  Where to Point the Telescope

  by Shaowu Zhang

  Experiments and practice · Galois group · Prompting

  1 comment on Where to Point the Telescope