@wtgowers @SimonDeDeo BTW, Simon you may enjoy: https://t.co/5im31VuoMv Tim has some blog posts which are relevant too, and easily findable with a little Googling.
94,134 followers
74 followers
HERE is a worthwhile read. Starting to feel some wind in the sails now. M. Ganesalingam and W. T. Gowers "A Fully Automatic Theorem Prover with Human-Style Output" - 2016 https://t.co/wfTE96gM3o
427 followers
#AutomaticTheoremProving #AI 2017 a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. https://t.co/iCAPldkA
233 followers
A Fully Automatic Theorem Prover with Human-Style Output (2017) https://t.co/Fg0F4xPOQT https://t.co/IhJa4MksXo #pdf #math #formalmethods