Top all-time · #2360
Proofs and Prompts
Personal blog · proofsandprompts.commathai
Proofs and Prompts is a personal blog at proofsandprompts.com about math and ai. Since 2026, 35 different Hacker News readers have linked it 38 times, most often “Open Letter about the Mathathon”. It is still writing: the last post was on 2026-11-01, and you can follow it by feed.
Notes from the common room
Most-linked posts?
- Open Letter about the Mathathon5 people · 6 mentions · first linked 2026-09-10
- 100+ reactions to 100+ solutions5 people · 5 mentions · first linked 2026-10-09
- Proofs and Prompts4 people · 4 mentions · first linked 2026-08-11
- Care for a Little More AI?4 people · 4 mentions · first linked 2026-08-31
- /2026/10/07/on-openais-release-of-mathematical-results/2 people · 2 mentions · first linked 2026-10-07
- Rulers of the childless land: A response to the AGMAI2 people · 2 mentions · first linked 2026-09-26
What Hacker News says?
> There's no gatekeeping here! https://proofsandprompts.com/2026/10/07/on-openais-release-o...
Comment linking /2026/10/07/on-openais-release-of-mathematical-results/
on “Sharing AI progress in mathematics”Submitted 100+ reactions to 100+ solutions as a story · 106 points
HN discussionHere's a fun quote: https://proofsandprompts.com/2026/09/10/open-letter-about-th... >Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future reputations of participants. Given how much power advisors etc have over students in academia, interpret it as you wish.
Comment linking /2026/09/10/open-letter-about-the-mathathon/
on “Sharing AI progress in mathematics”Submitted A Beginning for Mathematics as a story · 28 points
HN discussionHere's a fun quote: https://proofsandprompts.com/2026/09/10/open-letter-about-th... >Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future reputations of participants. Given how much power advisors etc have over students in academia, interpret it as you wish.
Comment linking /2026/09/10/open-letter-about-the-mathathon/
on “Sharing AI progress in mathematics”Submitted One hundred reactions to 100+ solutions as a story · 9 points
HN discussionThe commenters over here think that OpenAI basically ignored AGMAI: https://proofsandprompts.com/2026/10/07/on-openais-release-o... The thieves do as they please, funded by money stolen from the public via inflation and possible future bailouts.
Comment linking /2026/10/07/on-openais-release-of-mathematical-results/
on “Sharing AI progress in mathematics”Submitted Who will become the new mathematicians of Math 2.0? as a story · 6 points
HN discussionThe did not adjust. The say they adjusted. Now they launder money through the Simons Foundation, which shares their exact values on AI, to people who want to "understand" the proofs. This directly contradicts point #6 of the AGMAI recommendation that money must be distributed by a neutral organization: https://proofsandprompts.com/2026/10/26/disadvantages-of-des...
Comment linking /2026/10/26/disadvantages-of-designating-mathematicians-for-ai-output-releases/
on “Three new discoveries in mathematics, computer science, and physics”Submitted The Rules Cannot Change Only for Young Mathematicians as a story · 4 points
HN discussionWell, so Tao now invites literal industry boosters to lure mathematicians into a pro-AI stance. This is the guest poster: https://www.3blue1brown.com/talent The only concrete step any mathematician on the internet, including on the other AI concern site https://proofsandprompts.com/ , is demanding funding for an academic frontier AI. Strange that the Poincare conjecture was solved by a hermit without all this AI bul…
Comment linking /
on “If math is more than proof, we need to better celebrate the rest of it”Submitted Mathematics of the Future as a story · 3 points
HN discussionThere's a long collection of comments by mathematicians at [1]. A large number of workers in the field are rather discouraged. The main quality complaint is that the proofs are ugly, long, and incomprehensible. One mathematician comments that the first proofs of new major results are often like that. Elegance comes later. The main social complaint is that the social foundations of mathematics just changed, in a big…
Comment linking /2026/10/08/100-reactions-to-100-solutions/
on “Mathematics has changed. Let's act like it”Submitted I agreed to join AGMAI as a story · 3 points
HN discussionYou sound reasonable and open to changing your mind. Please, please read this. https://proofsandprompts.com/2026/10/08/100-reactions-to-100... And then tell me that this has not damaged the mathematics community. I would urge you to reconsider your stance, and in particular to put deep thought into why you believe OpenAI is not going about this wrong.
Comment linking /2026/10/08/100-reactions-to-100-solutions/
on “OpenAI, the Partition Principle, and Mathematics”Submitted A New System of Accreditation as a story · 2 points
HN discussionI have only twice (knowingly) refereed AI slop. I'm mostly talking about refereeing in the period 2010 - 2020. (However, looking here https://proofsandprompts.com/2026/10/08/100-reactions-to-100... it seems that many other consider many of the papers poorly written. I just wanted to give one datapoint.)
Comment linking /2026/10/08/100-reactions-to-100-solutions/
on “OpenAI, the Partition Principle, and Mathematics”Submitted Rulers of the childless land: A response to the AGMAI as a story · 2 points
HN discussionAnd many math elites are financed by AI boosters like the Simons Foundation. That is why the online mathematicians at least leave no opportunity to boost AI. True opposition has been crushed by capital. Isolated opposition comes from professors tenured in Germany: https://proofsandprompts.com/2026/09/24/rulers-of-the-childl... Maybe more German professors could assist because they have heavy protections?
Comment linking /2026/09/24/rulers-of-the-childless-land-a-response-to-the-agmai/
on “To grieve, or not to grieve?”Submitted Many Choices Lie Ahead as a story · 2 points
HN discussion>Every major statement I've seen come out of the math community on this matter reads as well thought-through, humble, reasoned, and deeply human. Can't disagree with "deeply human", but I wouldn't always use it in a positive sense: https://proofsandprompts.com/2026/09/10/open-letter-about-th... >Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future rep…
Comment linking /2026/09/10/open-letter-about-the-mathathon/
on “The Advisory Group on Mathematics and Artificial Intelligence”Submitted Open Letter about the Mathathon as a story · 2 points
HN discussionProofs and Prompts exists already and a lot of articles on Tao's blog are also duplicated there https://proofsandprompts.com/
Comment linking /
on “Will it be a golden age or a dark age for mathematics (and science)?”Submitted Caltech mathematicians call for suspension of AI Mathathon as a story · 2 points
HN discussionIncidentally, Duminil-Copin, who also works in percolation theory, wrote an essay on the impact of AI on math. https://proofsandprompts.com/2026/08/30/care-for-a-little-mo...
Comment linking /2026/08/30/care-for-a-little-more-ai/
on “'Stunning' percolation proof solves decades-old puzzle about phase transitions”Submitted Care for a Little More AI? as a story · 2 points
HN discussionThat's the theme of this reflection: https://proofsandprompts.com/2026/10/08/why-i-chose-to-do-ma...
Comment linking /2026/10/08/why-i-chose-to-do-math-and-how-im-grappling-with-ai-advances/
on “Scattered thoughts on how doing math feels these days”Submitted Care for a Little More AI? as a story · 2 points
HN discussionCould the press kindly interview one of the 1008 members of the AHM ( https://www.ahmath.org/members ). Maybe Peter Scholze if you need a Fields Medalist: https://proofsandprompts.com/2026/10/20/who-will-become-the-... We only hear from a mix of doomers and fanboys in the news.
Comment linking /2026/10/20/who-will-become-the-new-mathematicians-of-math-2-0/comment-page-1/
on “A mathematician reads the AI future”Submitted Care for a Little More AI? as a story · 2 points
HN discussion
