O próximo modelo de raciocínio da OpenAI, internamente denominado Astra, acabou de fazer algo que faria a maioria dos candidatos a doutorado chorarem em seus quadros-brancos. A empresa anunciou em 1º de agosto que o modelo gerou autonomamente 10 novos resultados em problemas abertos em matemática e ciência da computação teórica, cada um verificado por matemáticos externos, incluindo o medalhista Fields Tim Gowers.
Este não é o primeiro rodeio da Astra. Em 20 de maio, o mesmo modelo refutou a conjectura da distância unitária planar de Erdős, um problema que havia confundido matemáticos por quase 80 anos.
O que o modelo realmente fez
O problema, proposto pelo lendário matemático húngaro Paul Erdős, trata de quantos pares de pontos em um plano podem estar exatamente a uma unidade de distância. Astra construiu configurações que produzem pelo menos n^(1+δ) pares de distância unitária, onde δ é maior que zero, para infinitos valores de n. O resultado refinado fixou δ em 0,014. Foi a primeira vez que uma IA resolveu autonomamente um problema significativo em geometria discreta. Nenhum treinamento matemático especializado. Nenhuma orientação humana. O modelo realizou raciocínio algébrico avançado por conta própria.
O anúncio de agosto acrescentou mais 10 resultados sobre isso, abrangendo geometria e ciência da computação teórica. Cada resultado foi verificado independentemente por matemáticos profissionais. Gowers próprio chamou a conquista de “um marco na matemática com IA”. Matemáticos, incluindo Gowers e Thomas Bloom, publicaram artigos complementares verificando as provas e oferecendo análise adicional.
Por que isso importa além da matemática pura
Criptografia, a espinha dorsal de toda blockchain e ativo digital existente, é fundamentalmente matemática aplicada. As suposições de segurança que sustentam o bitcoin, o ethereum e todos os outros protocolos cripto baseiam-se na dificuldade computacional de certos problemas matemáticos. Um modelo que pode refutar conjecturas de 80 anos em geometria discreta hoje é um modelo cujos sucessores podem investigar as fundações matemáticas da criptografia amanhã.
O que os investidores devem realmente observar
O impacto imediato no mercado aqui é zero. A OpenAI não mencionou tokens de criptomoeda, ativos digitais ou protocolos relacionados em nenhuma de suas declarações. Este é um marco puramente de pesquisa em IA.
Primeiro, tokens e projetos relacionados a IA que se concentram em cálculo matemático e verificação de provas podem ver um renascimento de interesse. A narrativa de que a IA pode realizar trabalho intelectual real e verificável, e não apenas gerar texto plausível, fortalece o caso para projetos que desenvolvem na interseção entre IA e verificação em blockchain.
Em segundo lugar, a criptografia pós-quantica passa de uma preocupação teórica para uma prioridade prática. Projetos que desenvolvem padrões criptográficos resistentes a quantum e a IA podem se tornar cada vez mais relevantes.