“Dan Biderman argues that if an AI lab like OpenAI needed to win a math Olympiad within a week, the superior strategy would be to synthesize training data and launch a new training job rather than relying on a retrieval-based system.”