simondedeo.com
Mathematicians may be worried, but AI-for-science is going to be great, recursively self-improving, and we’re going to learn loads
As part of our Templeton-funded Proofs & Reasons project, I travelled to the ICM in Philadelphia this year, to help a collaborator run some new experiments on expert mathematicians. The ICM is …