Mathematicians may be worried, but AI-for-science is going to be great, recursively self-improving, and we’re going to learn loads

I have a new post on my experiments with 5.6-sol as a scientific agent; you can find the original post here. I've reproduced it below, as well. I'd be grateful for any feedback, thoughts, or to hear about experiments other people have done; you're very welcome to point your own agents at the repos described below, or anywhere else you like.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...