Algo incomum está acontecendo no mundo da matemática pura, e não vem de um laboratório universitário. A OpenAI afirma que um sistema interno de IA ajudou a resolver dez problemas de matemática e ciência da computação que permaneceram sem solução por pelo menos uma década, em alguns casos por muito mais tempo. O anúncio, combinado com uma iniciativa separada que oferece acesso avançado ao ChatGPT para 100.000 pesquisadores, sinaliza que os avanços da IA em matemática estão passando de novidade a verdadeira infraestrutura de pesquisa.
Summary
Principais pontos
- A OpenAI lançou o ChatGPT para Pesquisadores Acadêmicos, dando a 100.000 cientistas e matemáticos acesso gratuito aos seus principais modelos de ChatGPT.
- Um modelo não lançado da OpenAI produziu, em maio, uma refutação gerada por IA da conjectura da distância unitária de Erdős.
- Dez novos resultados, alcançados com uma versão interna de um modelo de próxima geração chamado Astra, resolvem problemas em aberto em oito áreas da matemática e da ciência da computação teórica.
- Encontrar as soluções custou aproximadamente US$ 2.000 em tokens às tarifas da Sol API, segundo a OpenAI.
- Pesquisadores humanos transformaram os argumentos gerados pela IA em manuscritos, e o modelo então formalizou cada prova em um certificado Lean.
OpenAI abre acesso ao ChatGPT para 100.000 pesquisadores acadêmicos
O ponto de partida da OpenAI para esse movimento é o acesso, não apenas o resultado. A empresa lançou recentemente o ChatGPT para Pesquisadores Acadêmicos, uma iniciativa que concede a 100.000 cientistas e matemáticos o uso gratuito de seus modelos de ChatGPT mais avançados. A ideia, como a OpenAI apresenta, é colocar ferramentas de raciocínio mais poderosas diretamente nas mãos de pessoas que trabalham em problemas não resolvidos, em vez de manter os modelos mais avançados atrás de um paywall reservado a clientes corporativos.
Isso é importante porque o acesso tem sido frequentemente o gargalo para a pesquisa assistida por IA. Orçamentos acadêmicos raramente comportam assinaturas premium de IA em larga escala, e pesquisadores individuais testando modelos de fronteira em questões matemáticas de nicho não é algo que a maioria das instituições consiga financiar amplamente. Ao remover essa barreira para um grande grupo de cientistas, a OpenAI está, na prática, apostando que um acesso mais amplo trará à tona mais resultados do tipo que agora está exibindo.
Um avanço silencioso: IA refuta a conjectura da distância unitária de Erdős
Em maio, a OpenAI compartilhou algo que sugeria o que estava por vir: uma refutação gerada por IA da conjectura da distância unitária de Erdős, um problema ligado ao matemático Paul Erdős que intrigava pesquisadores há anos. A refutação surgiu quase por acaso, descoberta enquanto a OpenAI avaliava um modelo não lançado, e não durante um esforço de pesquisa dedicado.
Esse único resultado acabou sendo mais do que uma curiosidade isolada. Segundo a OpenAI, a refutação de Erdős já inspirou novos desenvolvimentos em matemática e ciência da computação teórica, com artigos subsequentes baseando-se na abordagem. Este é um dos momentos mais claros de “por que isso importa” na história: quando um resultado gerado por IA desencadeia trabalhos subsequentes de matemáticos humanos, isso sugere que esses sistemas não estão apenas produzindo respostas isoladas — eles estão contribuindo com técnicas que outros pesquisadores podem estender.
Dez novas soluções orientadas por IA para problemas que matemáticos não conseguiam resolver há décadas
O ponto central do anúncio da OpenAI é um conjunto de dez novos resultados, todos abordando problemas que não apresentavam progresso em sua questão principal há pelo menos dez anos e, em muitos casos, por muito mais tempo. A OpenAI descreve esses problemas como sendo de interesse substancial para suas respectivas comunidades matemáticas, com vários considerados importantes para a matemática como um todo.
Escopo e diversidade dos problemas resolvidos
Os dez resultados abrangem uma ampla gama de territórios técnicos: geometria de alta dimensão, teoria de códigos, complexidade de circuitos aritméticos, teoria de grupos, álgebras de operadores, complexidade quântica, criptografia de reticulados e combinatória extremal. Essa amplitude é, por si só, notável — não se trata de subquestões adjacentes em um único nicho, mas de problemas em aberto distintos, de diferentes cantos da matemática e da ciência da computação, cada um com sua própria história de pesquisa de décadas.
Entre os avanços específicos listados pela OpenAI:
- Novos limites superiores para a densidade de empacotamento de esferas em altas dimensões, alcançando o limite de Cohn–Elkies.
- Limites exponencialmente aprimorados para o tamanho máximo de códigos binários e esféricos de alta dimensão a uma dada distância mínima.
- Uma construção que prova a existência de grupos não sóficos, resolvendo uma questão central em aberto na teoria de grupos.
- Uma refutação da conjectura de rigidez de Connes, que sustentava que certos grupos são determinados de forma única por suas álgebras de von Neumann.
- Novos limites inferiores para o cálculo do permanente usando circuitos aritméticos, incluindo um limite inferior de fórmulas aritméticas da ordem de n^4/log n.
- Um teorema de repetição paralela exponencial para jogos quânticos gerais de dois jogadores, estendendo um princípio clássico de complexidade para o cenário quântico.
- Dificuldade de aproximação por fator polinomial para o problema do vetor mais próximo, uma questão de reticulados relevante para a criptografia pós-quântica.
- Uma resolução, em todas as dimensões, do volume máximo de um corpo convexo cujo centróide é seu único ponto de rede interior — parte da conjectura de volume de Ehrhart.
- Um limite inferior superexponencial para números de Ramsey de triângulos multicoloridos, resolvendo o problema 183 de Erdős.
- Resultados sobre conjecturas de compacidade e degenerescência em teoria extremal de grafos, resolvendo os problemas 146 e 180 de Erdős.
Processo técnico e eficiência de custo usando o modelo Astra
Todos os dez resultados foram produzidos por uma versão interna do Astra, descrito pela OpenAI como seu próximo grande modelo. O que se destaca é o custo: a OpenAI estima que o uso total de tokens necessário para encontrar soluções para todos os dez problemas ficaria em torno de US$ 2.000 às tarifas da Sol API. Para pesquisas em que matemáticos humanos passaram uma década ou mais sem fazer progresso, alguns milhares de dólares em computação é um preço surpreendentemente baixo — e é um dos sinais mais claros de como os avanços da IA em matemática estão mudando a economia de enfrentar problemas em aberto difíceis.
O processo, porém, não foi totalmente automatizado. Pesquisadores humanos pegaram os argumentos brutos do modelo e os transformaram em manuscritos estruturados, trabalhando em conjunto com o mesmo modelo. Depois disso, o próprio modelo formalizou cada argumento em um certificado Lean — um formato de prova verificável por máquina usado para checar afirmações matemáticas com rigor. A OpenAI também divulgou uma narração do processo de raciocínio do modelo para cada solução, dando a pesquisadores externos uma janela para como o sistema chegou a cada resposta.
Essa combinação — argumentos gerados por IA, manuscritos preparados por humanos e certificados Lean formalizados por máquina — aponta para um fluxo de trabalho em que sistemas de IA geram o insight matemático bruto enquanto ferramentas de verificação formal e supervisão humana cuidam da confirmação. É uma divisão de trabalho que pode se tornar um modelo à medida que mais desses resultados assistidos por IA começarem a aparecer em outros problemas em aberto.
Por que isso importa para pesquisa e competição
A implicação mais ampla aqui vai além de dez problemas resolvidos. Se um único modelo interno pode produzir resultados em nível publicável em oito disciplinas matemáticas distintas por cerca de US$ 2.000 em computação, a restrição para enfrentar problemas em aberto de longa data começa a se deslocar do insight matemático para o acesso a modelos capazes — que é exatamente o que o programa de acesso acadêmico da OpenAI foi projetado para expandir. Essa combinação de computação barata e amplo acesso de pesquisadores provavelmente chamará a atenção de laboratórios de IA rivais e de departamentos de matemática que avaliam como integrar essas ferramentas em seus próprios trabalhos.
A OpenAI também observa que essa linha de trabalho já estimulou pesquisas adicionais baseadas na refutação da conjectura de Erdős, com vários artigos de acompanhamento explorando questões relacionadas em teoria soma-produto, geometria de incidência e complexidade computacional. Se esse impulso continuará no mesmo ritmo, ou se outros laboratórios de IA produzirão resultados comparáveis com modelos diferentes, provavelmente determinará a velocidade com que a geração de provas assistida por IA será incorporada à prática matemática cotidiana.
Perguntas frequentes
O que é o ChatGPT para Pesquisadores Acadêmicos?
É uma iniciativa da OpenAI que oferece a 100.000 cientistas e matemáticos acesso gratuito a modelos avançados do ChatGPT para acelerar descobertas.
Qual problema matemático de longa data o modelo de IA da OpenAI refutou?
Uma refutação gerada por IA da conjectura da distância unitária de Erdős foi produzida usando um modelo não lançado da OpenAI, compartilhada pela primeira vez em maio.
Que tipos de problemas o Astra resolveu com assistência de IA?
O Astra, modelo interno de próxima geração da OpenAI, produziu resultados em geometria de alta dimensão, teoria de códigos, complexidade de circuitos aritméticos, teoria de grupos, álgebras de operadores, complexidade quântica, criptografia de reticulados e combinatória extremal.
Como as provas geradas pela IA foram validadas?
Pesquisadores humanos prepararam manuscritos a partir dos argumentos gerados pela IA, e o modelo então formalizou cada prova em um certificado Lean para verificação verificável por máquina.
{“@context”:”https://schema.org”,”@type”:”FAQPage”,”mainEntity”:[{“@type”:”Question”,”name”:”O que é o ChatGPT para Pesquisadores Acadêmicos?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”É uma iniciativa da OpenAI que oferece a 100.000 cientistas e matemáticos acesso gratuito a modelos avançados do ChatGPT para acelerar descobertas.”}},{“@type”:”Question”,”name”:”Qual problema matemático de longa data o modelo de IA da OpenAI refutou?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Uma refutação gerada por IA da conjectura da distância unitária de Erdős foi produzida usando um modelo não lançado da OpenAI, compartilhada pela primeira vez em maio.”}},{“@type”:”Question”,”name”:”Que tipos de problemas o Astra resolveu com assistência de IA?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”O Astra, modelo interno de próxima geração da OpenAI, produziu resultados em geometria de alta dimensão, teoria de códigos, complexidade de circuitos aritméticos, teoria de grupos, álgebras de operadores, complexidade quântica, criptografia de reticulados e combinatória extremal.”}},{“@type”:”Question”,”name”:”Como as provas geradas pela IA foram validadas?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Pesquisadores humanos prepararam manuscritos a partir dos argumentos gerados pela IA, e o modelo então formalizou cada prova em um certificado Lean para verificação verificável por máquina.”}}]}
Artigo produzido com a assistência de inteligência artificial e revisado pela equipe editorial.
