Resolver os maiores problemas da matemática era uma forma de arte. Depois veio a IA
wired ·
A OpenAI afirmou recentemente ter resolvido o problema da existência e suavidade de Navier-Stokes, um desafio décadas antigo, utilizando milhares de agentes de IA, o que gerou controvérsia na comunidade matemática. Críticos argumentam que essa abordagem de força bruta mina a natureza artística e criativa da matemática, que valoriza a compreensão profunda em vez de meros resultados. Muitos matemáticos sentem que a IA simplifica o processo deliberado necessário para desenvolver novas ideias, potencialmente levando a soluções sem compreensão real. Uma declaração assinada por vencedores da Medalha Fields alerta que a produção em massa de provas poderia destruir o terreno fértil para a inovação humana. Especialistas como Lorenzo Gavassino enfatizam que a luta inerente aos cálculos complexos frequentemente inspira conceitos revolucionários, como os números imaginários. Há também preocupações sobre transparência, atribuição e implicações éticas de substituir o treinamento de estudantes de pós-graduação pela computação automatizada. Embora a OpenAI tenha formado um grupo consultivo para abordar essas questões, as tensões permanecem quanto ao futuro papel da IA na descoberta científica.
wired