AI solves one of math’s hardest problems in 88 hours, says OpenAI | Kodawire | Kodawire