IA e matemática: vitória da máquina ou amplificação humana?

IA foi usada para otimizar método existente de matemáticos espanhóis, não para descobrir solução do zero. OpenAI também anunciou prova para variante forçada de Navier-Stokes, gerando questões sobre acesso a dados de pesquisadores concorrentes.