Comment by jdoliner

My model of mathematical intelligence for a little while now has been 3 levels:

1. I give you a proof, you tell me if it's correct

2. I give you a theorem, you give me a correct proof

3. I give you nothing, you give me a theorem

1. is largely solved by modern LLMs and they took a big step toward 2. today with the Navier-Stokes proof. But they're definitely not there yet. It's unclear what progress is being made toward 3. for the time being that remains the realm of humans.