A OpenAI anunciou que o seu modelo de inteligência artificial Astra, ainda em fase de testes internos, solucionou dez problemas complexos de matemática e ciência da computação. A notícia, coberta por três fontes em um país, detalha que alguns dos desafios resolvidos permaneciam sem resposta há mais de 50 anos.
Desempenho em problemas de fronteira
As resoluções abrangem áreas críticas como geometria de grande dimensão, teoria de grupos, álgebra de operadores, complexidade quântica e combinatória extrémale. Entre os êxitos, o modelo desvendou três enigmas deixados pelo matemático Paul Erdős e avançou em questões ligadas à criptografia de rede, essencial para a segurança contra futuros computadores quânticos. O custo operacional foi de aproximadamente 2 mil dólares em tokens por cada solução encontrada.
Verificação e impacto na comunidade
A OpenAI disponibilizou as provas geradas pelo Astra em arquivos Lean, uma plataforma de assistência de prova formal, acessível via GitHub para verificação independente por especialistas. A capacidade de processamento do modelo, que utiliza múltiplos agentes trabalhando em paralelo, gerou reações diversas entre pesquisadores. Enquanto alguns demonstram admiração, outros expressam preocupação com a desvalorização de carreiras acadêmicas e o futuro de distinções como a medalha Fields diante da automação de descobertas científicas.
O que ainda não foi divulgado
- Data oficial de lançamento do modelo Astra ao público.
- Detalhes sobre a arquitetura técnica exata utilizada pelo sistema.
- Critérios detalhados de seleção para os 100 mil cientistas que participarão do programa ChatGPT for Academic Researchers.
- Protocolos de atribuição de crédito autoral para as descobertas feitas pela IA.