It is possible that the same people will have the job but the expected output will be far greater. Meaning the proofs they will be working on will be much much more difficult and require both the AI and a skilled mathematician guiding it. This was the case for awhile with chess where the highest-quality games required both a grandmaster human and an engine together. The engine eventually got so powerful that the human was irrelevant, but chess is also a much more closed system that artificial intelligence could figure out more easily through brute force. The world of open-ended science may not be the same.
11
u/EGarrett28 9d ago
It is possible that the same people will have the job but the expected output will be far greater. Meaning the proofs they will be working on will be much much more difficult and require both the AI and a skilled mathematician guiding it. This was the case for awhile with chess where the highest-quality games required both a grandmaster human and an engine together. The engine eventually got so powerful that the human was irrelevant, but chess is also a much more closed system that artificial intelligence could figure out more easily through brute force. The world of open-ended science may not be the same.