On August 7^th, Luís Cruz-Filipe attended the prestigious International Congress of Mathematicians (ICM), joining a panel of world experts on the topic “The strengths and flaws of machine-assisted proofs”, on how computers can assist us in proving mathematical results/theorems.

ICM is the largest conference on mathematics. It is organised every four years and it is also renowned for its opening ceremony where the International Mathematical Union assigns the best awards in mathematics, among which the Nevanlinna Prize, the Gauss Prize, the Chern Medal, and the famous Fields Medal (the equivalent of a Nobel prize in Mathematics).