wat gaan we doen als geavanceerde AI opkomt met geniale uitvindingen en ons vermogen om te verifiëren de bottleneck is.
het voelt niet veilig om dezelfde AI simpelweg te vragen om te verifiëren. om veel redenen.
📁 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.