📁 Terence Tao, winnaar van de Fields Medal, zegt dat AI al veel wiskundige bewijzen kan genereren. De echte bottleneck is verificatie. Het creëren van ideeën wordt goedkoop. Weten welke echt correct zijn, is nog steeds menselijk werk.