Терънс Тао (Terence Tao)

Терънс Тао е австралийско-американски математик, носител на престижния Филдсов медал (2006 г.), считан за един от най-великите математици на съвремието.

Роля в компютърната математика

Тао е водещ застъпник за използването на формална верификация (Lean 4) и изкуствен интелект в математическите изследвания, като същевременно активно защитава високите стандарти за строгост, педагогика и концептуално разбиране в науката.