'Human-level math is solved'? Researchers push back: 99% of math is undiscovered

rand_longevity · x · 2026-09-18

@randlongevity declared that human-level math is now solved, and machines will face much deeper problems ahead.
@misraetel objects to the word 'solved': even if AI cracks our hardest current problems, that's only our math, not mathematics itself.
His analogy: if human math were only at algebra level, a genius AI solving all algebra problems still wouldn't have 'solved math' — the field is likely 99% undiscovered and beyond primate brains, which is what frontier AI will work on for a long time.

More from AGI Musings