F. Ciência AI Solves Decade-Old Math Problem in Minutes Um chatbot AI resolveu um problema matemático que levou mais de dez anos para ser resolvido. Redação FATÍVIA ·7 set 2026 ·1 min