Levent Alpöge, matemático da Anthropic e ex-junior fellow da Society of Fellows de Harvard, fez de novo. Um artigo escrito em parceria com John-Paul Smith, construído com o Claude, contém um contraexemplo explícito que refuta a conjectura de Carathéodory — um problema de geometria diferencial que resistiu por mais de cem anos — e, na mesma jogada, derruba a paralela conjectura do índice de Loewner. Uma construção, duas conjecturas.
O PDF vinha circulando discretamente nos círculos matemáticos há uma semana antes de ser tornado público. Nenhuma das conjecturas era obscura. A conjectura de Carathéodory é um dos problemas abertos clássicos da geometria de superfícies; gerações de matemáticos tentaram e falharam em resolvê-la. Um único exemplo explícito fez o que um século de argumentos não conseguiu.
Esta é também a segunda vez que Alpöge usa o Claude para matar uma conjectura famosa. Em julho, durante a final da Copa do Mundo, ele publicou um contraexemplo de três linhas para a conjectura jacobiana, de 87 anos, em geometria algébrica. Matemáticos a verificaram em poucas horas. Agora ele volta com uma construção que elimina duas conjecturas de uma vez.
Um contraexemplo, duas conjecturas centenárias
O resultado merece ser detalhado porque as duas conjecturas que ele mata se apoiaram mutuamente por um século. Um ponto umbílico em uma superfície é um ponto em que a superfície se curva da mesma maneira em todas as direções — localmente esférico. Em tal ponto, ambas as curvaturas principais são iguais, e toda direção tangente é uma direção principal.
Uma esfera é toda umbílica: não importa como você passe a mão sobre ela, a curvatura é a mesma. Um elipsoide tem exatamente duas. A conjectura de Carathéodory, proposta em 1924, afirmava que toda superfície fechada e convexa em 3D, suficientemente suave, deve ter pelo menos dois pontos umbílicos. Você pode deformar, comprimir e suavizar a superfície como quiser, dizia a conjectura — nunca é possível reduzir a contagem abaixo de dois.
Parecia evidentemente verdadeira. A esfera tem infinitos, o elipsoide tem dois, e durante cem anos ninguém conseguiu construir uma superfície convexa suave com apenas um. Ao lado dela estava a conjectura de Loewner: o índice de um ponto umbílico isolado não pode exceder 1. As duas conjecturas se sustentavam mutuamente — um par de cadeados que mantinham uma área inteira da geometria diferencial selada.
O ponto umbílico: por que a conjectura parecia óbvia
Alpöge e Smith arrebentam o cadeado com uma construção extremamente específica. Eles definem uma família de funções g_k, tomando k=2. A função g₂ serve como função de suporte de um corpo convexo semelhante a uma esfera, e o corpo correspondente produz um ponto umbílico de índice 2 na origem.
O índice 2 já viola o limite superior de 1 de Loewner. De forma mais sutil, o termo de decaimento exponencial em g₂ garante que a função é C∞ — infinitamente diferenciável. Isso significa que o corpo convexo satisfaz todas as condições de suavidade exigidas pela conjectura de Carathéodory. E ele tem apenas um ponto umbílico.
Carathéodory exige pelo menos dois pontos umbílicos; o exemplo tem um, então a conjectura cai. Loewner exige índices umbílicos isolados não maiores que 1; o exemplo entrega um índice 2, então ela também cai. Duas conjecturas, um único contraexemplo explícito e verificável.
Em matemática, um único contraexemplo basta para matar uma conjectura — mas encontrar esse exemplo costuma ser mais difícil do que provar a própria conjectura. É exatamente isso que torna este resultado representativo, e não um acaso.
A construção que arrebentou o cadeado
Olhe para os últimos meses e o padrão é inconfundível:
- O Claude estabeleceu um novo recorde relacionado à função zeta de Riemann, elevando o limite inferior da proporção de zeros de 41,6% para 67,2% — um avanço que os humanos haviam conseguido de apenas 0,8% em 37 anos.
- A OpenAI publicou um conjunto de dez avanços em matemática e ciência da computação teórica.
- Alpöge usou o Claude para refutar duas conjecturas clássicas em um único verão.
- Um recém-nomeado medalhista Fields ingressou na OpenAI.
A tendência já não é que a IA seja uma calculadora mais rápida. Ela está se tornando um suplemento de intuição para os matemáticos — aquilo que segue buscando e construindo onde a intuição humana está travada há décadas. Uma conjectura centenária não foi derrubada por um humano mais inteligente. Foi derrubada por uma divisão diferente do trabalho: o humano escolhe o alvo e interpreta, o modelo exaure o espaço de busca e produz construções que levariam uma vida humana inteira para serem encontradas por acaso.
Essa é a mesma conclusão que a comunidade matemática está absorvendo lentamente: o valor está se deslocando da geração de argumentos para a sua digestão. Quando a IA pode produzir provas e contraexemplos em escala, a habilidade escassa passa a ser entender, verificar e organizar o que a máquina devolve. Para uma análise mais aprofundada sobre por que os avanços da IA em matemática chegam frequentemente como contraexemplos, veja a análise de Gowers sobre por que os avanços da IA em matemática chegam como contraexemplos.
Uma mudança de paradigma, não um acaso
Para a pesquisa matemática, a mudança prática é imediata. Agora é possível testar conjecturas contra uma ferramenta de busca que procurará prazerosamente por um contraexemplo antes que um matemático dedique anos a uma prova. Uma refutação é barata e decisiva; é melhor encontrá-la em uma semana com um modelo do que passar uma carreira inteira numa afirmação falsa.
A mudança mais difícil é cultural. Terence Tao já passou dias digerindo uma prova assistida por IA de ponta a ponta, como fez com a conjectura de Sendov, e ele e o medalhista Fields Wang Hong argumentam agora que a comunidade precisa aprender a digerir a produção da IA em vez de ignorá-la. Uma prova correta é apenas o primeiro portão; um resultado não está totalmente utilizável até que matemáticos profissionais o compreendam, reproduzam e reorganizem. Essa camada humana se torna mais valiosa, e não menos, à medida que a geração fica mais barata.
Há também um alerta escondido no resultado. Se a IA pode construir uma superfície C∞ que viola um século de intuição, então a intuição — até mesmo a intuição compartilhada dos melhores matemáticos vivos — não é um guia confiável do que é verdadeiro. A fronteira se deslocou de “conseguimos provar?” para “acertamos logo de início?”.
O que muda para a matemática
Se você é um pesquisador: coloque um bom modelo no processo antes de começar a provar. Enuncie a conjectura, peça ao modelo que cace um contraexemplo e trate uma busca negativa como uma verificação de confiança. Você não está buscando que o modelo substitua seu raciocínio; você está buscando que ele encontre aquilo que sua intuição filtra.
Se você é um matemático: invista nas habilidades de verificação e digestão. Saber como conferir uma construção produzida por uma máquina, formalizá-la e reorganizá-la em algo que a comunidade possa usar está se tornando uma competência essencial, e não uma curiosidade.
Se você está apenas assistindo: pare de tratar “a IA resolveu um problema difícil” como um evento. Esse já é o modo normal de operação. A pergunta interessante não é mais se um modelo pode derrubar uma conjectura — é qual intuição, qual área, será a próxima.
O que você pode fazer a respeito
Transforme o argumento em três movimentos concretos. Primeiro, coloque um modelo no circuito de caça a contraexemplos: antes de dedicar anos a uma conjectura, passe uma semana deixando um modelo testá-la — se um contraexemplo aparecer, a aposta encolhe de anos para uma semana. Segundo, torne a digestão uma habilidade formal: participe de — ou crie — um grupo que verifica, formaliza e reorganiza construções produzidas por máquinas, porque quanto mais barata fica a geração, mais vale essa camada humana. Terceiro, redefina o padrão em relação à intuição: trate o que antes parecia evidentemente verdadeiro como provisório até que tenha sido testado. Carathéodory não é o fim da história, apenas a primeira peça do dominó; a próxima intuição a cair já está a caminho.
