Fabian Glöckle, third year PhD student under the supervision of Amaury Hayat and Gabriel Synnaeve (Meta), gave a seminar at College de France in the Chair of Combinatorics. He discussed the recent progress in automated theorem proving and the perspectives.
