Leopold Aschenbrenner predicted a year and a half ago that math and coding would see the most rapid AI advances due to their verifiability