Mathematische Superintelligenz kommt schneller als vorhergesagt.