📁 Terence Tao, matematiker ved Fieldsmedaljen, sier at matematikk kan bli AIs sikreste og mest kraftfulle domene. Språkmodeller kan være briljante eller helt feil, men i matematikk tvinges hver påstand gjennom logikk og kan til og med verifiseres av bevisassistenter. Der andre felt sliter med upålitelighet, kan matematikken eliminere støyen og bare bevare det som er sant.