Discussion about this post

User's avatar
Daniel Parshall's avatar

soooo.... does the recent mathematical progress establish these? The Jacobian conjecture disproof is almost exactly your requirement for "hard to discover, easy to verify".

Seems like at a minimum the proof of non-sofic groups is something that establishes certain categories where AI is superhuman.

Daniel Parshall's avatar

I like the approach, but think the framing needs a small addition:

- the problem should also be solvable by different AI (or a new instance of this one)

That prevents "what have I got in my pocket?" style riddles, or acrostics that are just computationally burdensome without quite proving the point.

7 more comments...

No posts

Ready for more?