The AIMO Prize and IMO 2024 are supported by XTX Markets

https://aimoprize.com/

Speaking at the 65th IMO in Bath, UK, Terence Tao gives an overview of how computers and AI are being used in mathematical research. He discusses the evolution from early computational…