New blog 'Proofs and Prompts' explores how AI is reshaping mathematics
giannis_daras · x · 2026-09-02
A new blog titled 'Proofs and Prompts' features thoughts from mathematicians, including Fields Medalists, on how AI is changing mathematics. Posts cover shifts in the definition of mathematics, statements on AI usage for PhD students, the 'reverse-centaur problem', and appeals to invest in human mathematicians.
More from AGI Musings
- OpenAI 'secret civilizations' spark debate on AI emergence — ParshinShojaee · 2026-09-02
- Discussion on Stuxnet and cyberphysical system risk vectors — mattbeane · 2026-09-02
- Sarah Guo on AI Frontier, Home Robots, and Anti-Monopoly — saranormous · 2026-09-02
- Frontier models fail 96% of simple 2D mazes in Long-Horizon test — thebigbigbuddha · 2026-09-02
- Op-ed: AI capex forecasted to exceed France's budget by 2028 — alexeyguzey · 2026-09-02
- Sam Altman predicts the fastest pace of improvement for AI models ever — tkexpress11 · 2026-09-02