GPT-5.6 "descobriu nova matemática"? O que Altman disse e o que os matemáticos responderam

Sam Altman disse que o GPT-5.6 descobriu matemática nova. A internet surtou. Antes de acreditar (ou rir), vale entender o que isso quer dizer de verdade — e por que os matemáticos não estão convencidos.

O post viralizou no r/singularity, passou de 800 upvotes em poucas horas e caiu na timeline de todo mundo com a mesma legenda: "a IA está descobrindo matemática que ninguém sabia". A frase é ótima pra engajamento. Como afirmação técnica, ela precisa de umas boas asteriscos.

Vamos por partes. O que exatamente foi dito, o que "gpt 5.6 nova matemática" significa quando você abre o capô, e por que quem trabalha com prova de teorema pra viver está pedindo pra ver o papel antes de aplaudir.

O que Altman realmente escreveu

O tweet, na íntegra, de 5 de julho de 2026:

"our older kid put two words together for the first time and i am approximately as amazed by this cognitive feat as i am by GPT-5.6 discovering new math"

Repara na estrutura. Não é um anúncio de produto. Não é um paper. É o Altman comparando o filho juntando duas palavras pela primeira vez com o modelo "descobrindo matemática nova" — e dizendo que fica mais ou menos igualmente impressionado com as duas coisas. É afeto de pai misturado com marketing de founder. (Sam Altman no X)

O problema não é o Altman estar emocionado. O problema é o telefone sem fio que vem depois. "Aproximadamente tão impressionado quanto" virou "GPT-5.6 descobriu nova matemática" virou "AGI chegou". E entre o tweet e a manchete ninguém parou pra perguntar: descobriu o quê, exatamente?

O que a OpenAI de fato alegou (e o buraco no meio)

Quando você puxa o fio, chega num resultado concreto: uma conjectura de geometria discreta ligada ao problema da distância unitária no plano, proposto por Paul Erdős lá em 1946. A pergunta, resumida: quantos pares de pontos você consegue colocar num plano de forma que estejam exatamente à distância 1 um do outro? É um problema clássico, aberto há décadas.

A OpenAI disse que um modelo interno produziu "uma família infinita de exemplos que melhorou uma crença de longa data sobre construções ótimas", com a prova checada por matemáticos externos. Isso é um resultado real e interessante. (The Deep Dive)

Só que tem dois buracos entre esse resultado e o tweet:

• A alegação técnica veio de um anúncio de maio, sobre um sistema interno de raciocínio. O tweet do Altman é de julho e fala em "GPT-5.6". Ninguém confirmou que é o mesmo modelo, nem que o GPT-5.6 (o modelo que a OpenAI lançou em três versões — Sol, Terra e Luna) reproduz o feito.
• A página oficial do GPT-5.6 não documenta essa descoberta. Não tem enunciado formal, não tem a construção, não tem o caminho de verificação linkado ao produto que leva o nome. (Let's Data Science)

Ou seja: existe um resultado matemático de verdade em algum lugar do pipeline da OpenAI. Existe um tweet do Altman. A ponte firme entre os dois é que ainda não está lá.

GPT-5.6 e a "nova matemática": o que isso significa pra um LLM (e o que não)

Aqui é onde a maioria das manchetes derrapa. Quando você lê "a IA descobriu matemática", a imagem mental é a de um modelo sentado, pensando sozinho, e saindo com um teorema pronto do nada. Não é assim que nenhum desses resultados aconteceu.

O padrão que funciona há dois anos é sempre o mesmo: o LLM propõe candidatos, um verificador externo julga, e uma busca guiada itera em cima do que passou. O modelo é o gerador criativo de palpites. Quem garante que o palpite está certo é um pedaço de código determinístico rodando por fora — não a "intuição" do modelo.

LLM  ->  gera candidato (uma construção, um programa, um lema)
   |
verificador externo  ->  isso está correto? melhora o recorde?
   | (sim)                                    | (não)
guarda e usa como semente  <-  descarta  <-  busca evolutiva itera

Isso muda tudo na leitura da manchete. "O LLM descobriu" é, na prática, "um harness em volta do LLM descobriu, e o LLM foi a parte que chutava candidatos rápido". A criatividade é real. Mas ela vem embrulhada num andaime de verificação que faz metade do trabalho e nenhuma manchete menciona.

Já vimos esse filme antes

Nada disso é novo, e é por isso que a comunidade técnica reage com sobrancelha levantada em vez de espanto.

• FunSearch (DeepMind, 2023). LLM + avaliador automático + busca evolutiva. Foi a primeira vez que um modelo de linguagem gerou uma descoberta nova pra um problema aberto de verdade — o cap set problem — batendo a maior melhoria em 20 anos no limite inferior assintótico. Publicado na Nature. (Google DeepMind)
• AlphaEvolve (DeepMind, maio 2025). A evolução do FunSearch: em vez de descobrir uma função isolada, evolui bases de código inteiras e algoritmos mais complexos. Mesmo esqueleto — gerar, avaliar, iterar.
• GPT-5 + Ernest Ryu (OpenAI, final de 2025). O modelo ajudou o matemático a atacar um problema aberto de otimização convexa. E aqui vem a parte honesta: Ryu contou que vários dos argumentos do GPT-5 estavam errados. O que o modelo fez de bom foi propor e descartar variações da mesma ideia numa velocidade que um humano não tem — e alguns dos passos que no fim importaram vieram dele. (OpenAI)

Percebe o padrão? Todo avanço real veio com um humano ou um verificador no circuito, e todo mundo que estava perto do resultado fez questão de descrever exatamente onde o modelo ajudou e onde ele alucinou. O tweet de uma linha faz o oposto: apaga o andaime e vende o modelo sozinho.

Por que os matemáticos pisam no freio

Existe uma razão técnica pra desconfiança, e ela tem nome: contaminação de dados. Se um problema "aberto" já apareceu em algum lugar da internet que entrou no treino, o modelo pode estar recuperando a resposta, não descobrindo. Benchmark de matemática com LLM vive assolado por isso.

Foi exatamente pra fechar essa brecha que 11 matemáticos lançaram, em fevereiro de 2026, a iniciativa First Proof: dez problemas que surgiram naturalmente das pesquisas deles, nunca publicados, com as respostas criptografadas. As IAs tiveram uma semana. Resultado: os modelos produziram soluções cheias de confiança, mas só duas estavam corretas (as dos problemas 9 e 10), e nenhum LLM chegou perto de resolver os dez. A conclusão preliminar foi direta — os sistemas publicamente disponíveis ainda não passam a barra de forma autônoma. (First Proof)

Isso é o contraponto que não cabe num tweet. Quando você tira o modelo do problema que ele já pode ter visto e coloca num problema genuinamente novo, sem verificador amigável do lado, a taxa de acerto despenca. "Descobrir matemática" num caso curado e "resolver matemática de pesquisa de forma confiável" são coisas muito diferentes.

Como saber se dessa vez é real

Não precisa ser matemático pra separar sinal de ruído. Da próxima vez que aparecer um "a IA descobriu X", cobra quatro coisas antes de compartilhar:

1. O enunciado. Qual é o problema, formalmente? Sem isso, é vibe.
2. A construção ou a prova. Cadê o objeto que o modelo produziu? Dá pra inspecionar?
3. O caminho de verificação. Quem checou, e como? Verificador formal (tipo Lean) ou revisão humana? Vale mais do que a palavra do founder.
4. Reprodução independente. Alguém de fora rodou e chegou no mesmo lugar?

Enquanto os quatro não estiverem na mesa, o certo é tratar o anúncio como um indicador pra verificação futura, não como capacidade comprovada. É assim que a própria comunidade técnica está lidando com isso — e é uma régua que envelhece bem.

E tem um detalhe que o hype esconde e que é a lição mais útil pra quem constrói com IA: nesses resultados, o valor real não está só no modelo — está no harness em volta dele. O verificador, a busca, o loop de iteração. É engenharia de sistema tanto quanto é modelo. Quem entende isso para de esperar mágica e começa a construir a estrutura que transforma um bom gerador de palpites em algo que produz resultado confiável. É exatamente esse pulo — do prompt solto pro sistema que verifica e itera — que a gente vai construir na prática no workshop Do Prompt ao Harness, nos dias 11 e 12 de julho, montando um agent de vendas do zero ao harness.

O GPT-5.6 pode muito bem ter contribuído pra um resultado matemático legítimo — a linhagem FunSearch/AlphaEvolve/GPT-5 mostra que isso não é ficção. Mas "contribuiu pra um resultado, com verificador do lado e humanos checando" e "descobriu matemática nova sozinho" são frases diferentes. A primeira é engenharia. A segunda é manchete. Fica com a primeira.

Post vivo: se a OpenAI publicar o enunciado, a construção e o caminho de verificação — ou se pesquisadores independentes reproduzirem o resultado — a gente atualiza aqui com a análise técnica. Até lá, ceticismo educado.