IAs enfeiam a matemática

A matemática está se tornando fascista? Admito que a piada não é das melhores, mas não resisto. A publicação de 370 soluções de problemas matemáticos pela OpenAI, no início de outubro, prenuncia uma era em que o método Monte Carlo, uma espécie de força bruta estatística, prevalecerá sobre as abordagens inspiradas em beleza e elegância que vêm dando o tom das demonstrações desde que a humanidade inventou/descobriu a matemática (cabe ao leitor escolher aqui a palavra que mais lhe agrada) alguns milênios atrás. Leia mais (11/02/2026 - 16h45)