OpenAI artificial intelligence models proved a 1991 local smoothing conjecture as a general case across all dimensions