@littmath
Assistant professor (of mathematics) at the University of Toronto, visiting Harvard Fall 2026. Forever confused. Algebraic geometry, number theory, etc. He/him.
AI
A user quips that even AIs make 'devastating sign errors' while quoting another post.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A user endorses Kevin Buzzard’s proposal to let machines explore math, then begin the journey toward wherever they get stuck.
AI
The author says their essay is hosted on Proofs and Prompts and invites comments—or complaints—on their personal website.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
One post connects the question of knowledge’s usefulness to the step-by-step automation of knowledge production.
AI
Harvard professor and OpenAI alignment researcher discusses advances with Astra compared to Sol but highlights ongoing gaps.
Technology
Replies confirm skills transfer between digital and traditional mediums amid skepticism.