A Forecasting Research Institute interim report finds leading AI specialists and superforecasters lagged recent benchmarks. AI reached IMO gold-medal level in July 2025—five years before the median expert forecast and ten before superforecasters—and may have solved a Millennium Prize Problem; a 2025