OpenAI Claims to Have Solved Decades-Old Math Problem in 88 Hours — ZenaHub