GPT-5 and the future of mathematical discovery23 de novembro, 2025 às 21:00OpenAI BlogVer notícia original