Terence Tao

UCLA
Scientific, Colloquia
PIMS Network Wide Colloquium: Terence Tao
September 10, 2024
Online
For centuries, mathematicians have relied on computers to perform calculations, to suggest conjectures, and as components of mathematical proofs. In the light of more modern tools such as interactive theorem provers, machine learning algorithms, and...