Essays

• 29 September 2026

  Can AI truly prove anything?

  by Stepan Nesterov

  Digestion · Proof · Reflection · Understanding

  10 comments on Can AI truly prove anything?
• 28 September 2026

  Applied mathematics has met the machine before

  by Denys Dutykh

  Applied mathematics · History · Reflection

  25 comments on Applied mathematics has met the machine before
• 28 September 2026

  The Loss of Singularity

  by Benoit Henry

  arXiv · Attribution · Reflection

  12 comments on The Loss of Singularity
• 27 September 2026

  Knowing vs. Understanding: Humans and Machines in Puzzle-land

  by Cristopher Moore

  Knowledge · Puzzles · Reflection · Understanding

  6 comments on Knowing vs. Understanding: Humans and Machines in Puzzle-land
• 25 September 2026

  From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results

  by Francesco Fournier-Facio

  Announcement · Discovery · Personal experience

  31 comments on From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results
• 25 September 2026

  Dear conferences, journals, and hiring committees: don’t wait for everyone else

  by Amit Harlev

  Digestion · Journals · Norms

  8 comments on Dear conferences, journals, and hiring committees: don’t wait for everyone else
• 24 September 2026

  All the math we will not see

  by Alessandro Della Corte

  Discovery · History · Reflection

  9 comments on All the math we will not see
• 21 September 2026

  Many choices lie ahead

  by Jonny Evans

  Choice · Critique · Reflection

  27 comments on Many choices lie ahead
• 20 September 2026

  History and Future of Fluid Dynamics

  by Saksham Sharma

  Exposition · History · Reflection · Understanding

  2 comments on History and Future of Fluid Dynamics
• 20 September 2026

  Thoughts on death and a beautiful future

  by Indira Chatterji

  Climate Crisis · Future · Reflection

  5 comments on Thoughts on death and a beautiful future