Christian Szegedy of Google Research gave a presentation in English at the MILAB Basic Research seminar. The presentation, "AI for Mathematics and Autoformalization", 22 February 2023, is available online.

The AI & AUT EXPO, co-organised by the Artificial Intelligence National Laboratory, attracted more than 480 visitors in two days.