Ofir Press wonders if AI math progress hits a wall or a 'peak math ability'

OfirPress · x · 2026-10-29

In his thread on AI solving math, Ofir Press asked whether current progress will spawn open problems an order of magnitude harder that can't be solved soon, or whether AI could reach a 'peak math ability' where almost every formalizable math question can be answered quickly.

Related event: Millennium Prize Problems Are the Best AI Benchmark, 70% of Open Math Problems to Fall Within a Year(3 posts)→

Original post →

More from AGI Musings

AGI Musings channel →