This is like how OpenAI solved some hard math problem in only a few hours.