Hacker News Reader

If you really believe this, try to use GPT 5.6 to prove an open problem you know nothing about. You might get lucky, but if you don't, you will soon discover that 5.6 can make "progress" towards a theorem without actually getting anywhere pretty much indefinitely.

I generally agree, though direction, intuition, and domain knowledge are still relevant. Your breadth-first-search framing feels right, but you still need a sense of which paths are worth following, and you need to know when to trust the results.

I’ve been doing more math as a hobby in the past few weeks — working on lesser-known conjectures and exploring proofs of hard theorems — than I could have managed over the previous several years. It’s an exciting time.

I imagine there are hundreds of thousands of people doing this, yet all we seem to get is a handful of solved problems. So it would seem the success rate is extremely low.