📁 Terence Tao, matematiker vid Fields Medal, säger att matematik kan bli AI:s säkraste och mest kraftfulla domän. Språkmodeller kan vara briljanta eller helt fel, men inom matematiken tvingas varje påstående genom logik och kan till och med verifieras av bevisassistenter. Där andra områden kämpar med opålitlighet kan matematiken eliminera bruset och bara bevara det som är sant.