Another fields medalist is also on the case: Tim Gowers https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/ https://gowers

Another fields medalist is also on the case: Tim Gowers https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/ https://gowers.wordpress.com/2022/04/28/announcing-an-automa...