Redditor pushes back on mathematicians upset over AI-generated proofs
northward_42 · reddit · 2026-10-12
A Reddit post responds to mathematicians' complaints about AI (OpenAI models) mass-producing mathematical solutions. The author rebuts each common objection: AI only added to mathematics rather than removing anything—at worst it's slop you can ignore; if a beloved puzzle got solved, just don't look at the solution; and if the answers are cryptic and yield no new understanding, then the problems weren't truly solved and there is still plenty left to figure out.
More from AGI Musings
- Gaël Varoquaux compiles his AI blog series: a researcher's take on AI and society — GaelVaroquaux · 2026-10-12
- OpenAI's AI solves famous math problems—researchers recognize their own ideas in them — GaelVaroquaux · 2026-10-12
- Gaël Varoquaux asks: how much plagiarism is in big AI's mathematical genius? — GaelVaroquaux · 2026-10-12
- Anthropic chief economist joins Jason Furman at Harvard to discuss AI's economic impact — HarrySurden · 2026-10-12
- Luiza Jarovsky: superintelligence alignment may be an absurd premise — LuizaJarovsky · 2026-10-12
- A Guardian writer's AI job interview flagged her bookshelf as a security risk — nordicinst · 2026-10-12