I agree with comments from others on this topic: Even before AIs are capable of independently generating novel mathematics, they are tremendously valuable as assistants. They excel at undifferentiated heavy lifting,…
[dead]
I agree with comments from others on this topic: Even before AIs are capable of independently generating novel mathematics, they are tremendously valuable as assistants. They excel at undifferentiated heavy lifting,…
[dead]
[dead]
[dead]