📁 Fields-mitalin voittaja Terence Tao sanoo, että tekoäly pystyy jo tuottamaan monia matemaattisia todistuksia. Todellinen pullonkaula on varmennus. Ideoiden luominen on käymässä halvottomaksi. Sen selvittäminen, mitkä ovat todella oikeita, on silti inhimillistä työtä.