Skip to content
Proofs and Prompts
Notes from the common room
Start here
Posts
Submit
Newsfeed
Forum
Contributors
About
Search
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
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website