The open question: can AI attack important but isolated math problems?

_onionesque · x · 2026-10-07

Concluding his thread: the developed eps neighborhood serves as both mine and a path to verifiability, but how upstream conceptual development would look using AI alone remains unclear. The author is curious whether AI can attack important but relatively isolated problems.

Related event: Mathematician argues AI can 'strip mine' well-developed areas of math(7 posts)→

Original post →

More from AGI Musings

AGI Musings channel →