OpenAI resolve 377 equações matemáticas mas retira três artigos
Capítulo 2 do Tecnologia em Perspectiva
Clique aqui para conferir a edição completa
A OpenAI, empresa de São Francisco responsável pelo ChatGPT, anunciou que seu mais recente modelo de inteligência artificial solucionou 377 equações matemáticas que desafiavam especialistas há anos. A alegação sugere uma evolução técnica relevante: a transição de sistemas puramente preditivos de linguagem para modelos capazes de encadear passos formais de raciocínio dedutivo. Contudo, a ausência de acesso aberto aos dados, aos artigos científicos e às demonstrações gerou ampla rejeição entre especialistas, culminando na posterior retirada de publicações da literatura técnica.
Na análise do Professor, o episódio evidencia um choque cultural direto entre a pressa mercadológica do Vale do Silício e o rigor acadêmico tradicional, fundado na falseabilidade e na revisão por pares. Embora essa tentativa de raciocínio autônomo dependa de uma infraestrutura física colossal de processamento e semicondutores de ponta, a opacidade das camadas profundas da rede neural impõe um abismo epistemológico. Sem que os atalhos e pesos computacionais possam ser decodificados pela mente humana, a comunidade científica tradicional recusa a validação de respostas tratadas como oráculos inquestionáveis.
Diante desse impasse, o horizonte da pesquisa fundamental aponta para dois cenários. O primeiro envolve a emergência de uma verificação algorítmica, na qual ferramentas secundárias seriam desenvolvidas para traduzir soluções sintéticas em provas humanamente legíveis. A outra possibilidade é uma cisão institucional severa, com corporações de tecnologia contornando a universidade e criando centros fechados de legitimação, disputando a autoridade da verdade científica contra uma academia rigorosa, mas desprovida do poder computacional das grandes empresas.
