[lupire]

There's another possibility: that everything discoverable by humans as been discovered.

Before long, AIs and organizations will be claiming to prove things that no human has the capacity to verify with reasonable confidence, or humans will run or of capacity or make progress. We just had the 1000 page Geometric Langlands proof.

[kristopolous]

"everything discoverable by humans as been discovered" again, this claim is made by every generation like clockwork, going back as long as humans have been making claims that can be recorded.

I trust it's as wrong now as it always has been.