📁 Terence Tao, vinner av Fields-medaljen, sier at AI allerede kan generere mange matematiske bevis. Den virkelige flaskehalsen er verifisering. Å lage ideer blir billig. Å vite hvilke som virkelig er riktige er fortsatt menneskelig arbeid.