OpenAI's Altman to brief Trump on AI model with 80-year math breakthrough