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.
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.