📁 Terence Tao, vinnare av Fieldsmedaljen, säger att AI redan kan generera många matematiska bevis. Den verkliga flaskhalsen är verifieringen. Att skapa idéer blir billigt. Att veta vilka som verkligen stämmer är fortfarande mänskligt arbete.