OpenAI宣布其AI用88小时攻克一道90年无解的数学难题；人类逾90年无解的问题被AI在88小时内破解。