A O penAI divulgou recentemente que um modelo de inteligência artificial, ao ser submetido a 4.000 problemas matemáticos, conseguiu resolver 377 deles — incluindo questões reconhecidamente complexas e consideradas intransponíveis pelos especialistas em teoria dos números e lógica matemática, conforme documentado em repositório técnico no GitHub da instituição.
Contexto Científico e Metodologia da Apuração
A O penAI conduziu uma avaliação rigorosa em que seu modelo de IA respondeu a um conjunto diversificado de problemas abrangendo teoria dos números, topologia, lógica matemática, álgebra e ciência da computação teórica, com os resultados publicados em repositório público no GitHub, permitindo a verificação independente por pesquisadores da comunidade acadêmica.
O estudo revelou que cada uma das 377 soluções obtidas demandou, em média, recursos computacionais equivalentes a três horas de processamento do ChatGPT Pro, evidenciando a intensidade computacional exigida para o desempenho da inteligência artificial nesse tipo de tarefa.
A IA resolveu 377 problemas matemáticos complexos, consumindo recursos equivalentes a 377 vezes três horas de processamento do ChatGPT Pro.
Section2Subtitle.
Repercussão Acadêmica e Desafios Epistemológicos.
Section2Paragraphs.
O professor Fábio Tal, docente do Departamento de Matemática Aplicada da USP, destacou que o avanço da IA representa uma transformação profunda na produção matemática, embora ressaltasse a necessidade de revisão crítica das demonstrações apresentadas pela empresa., O especialista Álvaro Machado Dias, colunista da e pesquisador em inteligência artificial, afirmou que o resultado sinaliza um novo horizonte no qual a resolução de problemas matemáticos abertos deixa de depender exclusivamente da inteligência humana., alerta, A comunidade matemática tem prazo imediato para analisar e validar as centenas de demonstrações divulgadas pela O penAI antes que o material se torne obsoleto ou incorrente., citacao,[object O bject].
