原推:1.5 years ago @JacobSteinhardt commissioned expert forecasts that AI state of the art would be able to solve 50% of MATH Dataset problems by June 2025.
The assigned probability of crossing that threshold by June 2023(!) was 0%
It has already happened.