Skip to content

Proofs and Prompts

Notes from the common room

  • Start here
  • Posts
  • Submit
  • Newsfeed
  • Forum
  • Contributors
  • About

Norms

  • 25 September 2026

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

    by Amit Harlev
    Digestion · Journals · Norms
    10 comments on Dear conferences, journals, and hiring committees: don’t wait for everyone else
  • 23 September 2026

    AI.MATH: announcement

    by AI.MATH initiators
    Discussion · Initiative · Norms
    2 comments on AI.MATH: announcement
  • 22 September 2026

    Why I agreed to join AGMAI

    by Martin Hairer
    AI companies · Community · Initiative · Norms
    33 comments on Why I agreed to join AGMAI
  • 19 September 2026

    Where will all the papers go?

    by David Craven
    arXiv · Journals · Norms · Refereeing
    12 comments on Where will all the papers go?
  • 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
  • 25 August 2026

    The reverse-centaur problem: LLMs and the choices ahead

    by Mark Wildon
    Critique · Inequalities · Norms
    3 comments on The reverse-centaur problem: LLMs and the choices ahead
  • 11 August 2026

    The question of reasoning traces

    by Segev Gonen Cohen
    Chain of thought · Norms · Transparency
    1 comment on The question of reasoning traces
  • 7 August 2026

    Writing mathematics in the age of AI

    by Martin Hairer
    Attribution · Norms · Writing
    11 comments on Writing mathematics in the age of AI
←Previous Page
1 2 3

Proofs and Prompts

Prefer a feed reader? Subscribe by RSS.

Also on Mathstodon.

Read our comment policy.

Designed with WordPress

Logo by Radhika Gupta

Loading Comments...