First Proof, My little pony
I came across First Proof on Sunday. The goal is to vet how AI can help in mathematics. The authors there are all serious researchers. Andrew is thricely a co-author of mine. Dan Spielman is an amazing intellectual. He taught my advanced complexity theory at MIT when I was a graduate student. But I was mediocre, so by the time I realized what a rare/special opportunity it was to be in his presence, he had already moved to Yale. Every piece of writing of Dan’s that I’ve been able to go through has taught me something. ...