Q1 AI Benchmark Results: Pro Forecasters Crush Bots — LessWrong