📁 Fields Madalyası matematikçisi Terence Tao, matematiğin yapay zekanın en güvenli ve en güçlü alanı olabileceğini söylüyor. Dil modelleri parlak olabilir ya da tamamen yanlış olabilir, ancak matematikte her iddia mantıkla zorlanır ve hatta ispat asistanları tarafından doğrulanabilir. Diğer alanlar güvenilmezlikle mücadele ederken, matematik gürültüyü ortadan kaldırabilir ve sadece doğru olanı koruyabilir.