🧮 A empresa afirma que 10 mil agentes de IA produziram, em 88 horas, uma prova ligada às equações de Navier-Stokes. Mas matemáticos questionam a origem da abordagem.
A OpenAI afirma ter produzido uma prova para um dos maiores desafios da matemática. O caso reacende o debate sobre transparência, autoria e ciência responsável. 🧮🤖
A matemática ganhou um acelerador inesperado: mais de 350 trabalhos gerados por IA estão abrindo debates — e possibilidades enormes. 🤖➗
🤖📐 A IA pode acelerar a matemática, mas publicar centenas de resultados de uma vez expõe um gargalo decisivo: revisão, autoria e confiança científica.
🤖 Cerca de 10 mil agentes de IA teriam colaborado numa prova sobre as equações de Navier–Stokes — uma alegação que ainda depende de validação independente.
🤖➗ A IA está acelerando a matemática, mas “resolver” não basta: é preciso provar, revisar e entender cada resultado.
Um anúncio sobre uma solução por IA para Navier-Stokes reacendeu o debate. Mas validação independente será decisiva antes de chamar isso de marco. 🔬