It’s been nearly a week since the dump of the GitHub repository with over 700 documents and (far fewer) Lean formalisations of AI-generated proofs, but it’s felt a lot longer. My own views on use of AI are mixed. I use it for my day job, we formalise things (previously in Isabelle, now in Lean) that we are…
Visit thehighergeometer.wordpress.com → RSS feedOn Hacker News Sep 2024 – Sep 2024
I got an email the other day from mathematician Bogdan Grechuk, whose book Polynomial Diophantine Equations: A Systematic Approach ( was recently released. This is to my mind a rather remarkable bo…