O lançamento de matemática da OpenAI gerou reações negativas após The Decoder informar que a empresa publicou mais de 700 manuscritos de uma vez, incluindo supostas soluções para centenas de problemas em aberto, e que mais de 100 pesquisadores reagiram depois.
A resposta de Terence Tao foi mista. Segundo a reportagem, ele sugeriu que algumas provas podem conter ideias realmente úteis, mas também descreveu profunda frustração com a falta de exposição e discussão humanas necessárias para que matemáticos avaliem os resultados e desenvolvam trabalhos a partir deles. Tao também argumentou que os objetivos das empresas de IA estão profundamente desalinhados dos objetivos da comunidade matemática. A mesma reportagem cita o vencedor da Medalha Fields Hugo Duminil-Copin: "O choque é imenso. Estou paralisado."
Em seu lançamento de matemática, a OpenAI afirmou que muitas provas incluem formalizações em Lean e que adicionaria mais material ao longo do tempo. As críticas dos matemáticos apontam para outro problema: os sistemas agora podem gerar afirmações técnicas mais rápido do que especialistas conseguem verificar, explicar ou contestar.
