AI Math Proofs Mostly Find Examples, Human Mathematicians Still Irreplaceable
JFPuget · x · 2026-08-01
It has been noted that recent AI-assisted math proofs often involve discovering examples that prove or disprove conjectures. If true, this won't make humans irrelevant soon. First, stating interesting conjectures remains necessary, and defining mathematical objects and studying their properties is the bulk of a mathematician's work, a creative process that will remain. Second, complex proofs that cannot be reduced to constructing examples still seem beyond AI's reach, though that may change.
More from AGI Musings
- AI in Math Research: Testing Models to Generate and Solve Conjectures — jachiam0 · 2026-08-01
- Are LLMs Inventing a Denser Language to Bypass Human Limits? — GabGarrett · 2026-08-01
- Thoughts on AI Systems Optimizing for Machine-to-Machine Communication — johnseach · 2026-08-01
- Google Search Traffic to Publishers Drops 34% in a Year — VraserX · 2026-08-01
- Harvard Restructures Writing Center and Lays Off Director Amid AI Era Debate — jonippolito · 2026-08-01
- ChatGPT query uses 0.3Wh, but heavy agent users consume as much as a tumble dryer — didyousayboop · 2026-08-01