Quando o Aluno de Graduação Supera os Especialistas
Aqui vai algo curioso: por décadas, matemáticos acharam que uma certa conjectura famosa sobre reverter funções matemáticas provavelmente era verdadeira. Só não conseguiam provar.
E aí alguém usou uma IA pra procurar um contraexemplo — e encontrou um tão simples que cabe num tweet.
Não sei você, mas essa história me fascina demais.
Levent Alpöge, trabalhando na Anthropic (a empresa por trás da IA Claude), anunciou no X que tinha usado o Claude Fable 5 pra encontrar um contraexemplo da conjectura de Jacobian. E quando eu digo "encontrou", quero dizer que descobriu provas concretas de que a conjectura está errada — pelo menos em algumas dimensões.
Não é só mais uma história de "IA fez algo legal", não. Tem algo quase poético no jeito que isso aconteceu.
O Que É a Conjectura de Jacobian?
Vou tentar explicar de um jeito que faça sentido — porque a definição da Wikipedia me faz querer desistir.
Pensa numa função como uma máquina. Você coloca números lá dentro e sai outros números, seguindo alguma regra. A conjectura de Jacobian pergunta: você sempre consegue desfazer isso? Existe outra função que coloca tudo de volta no lugar?
É mais ou menos assim: se sua função muda pontos no espaço, a conjectura diz que, desde que a função não "amolgue" o espaço de um jeito específico (matemáticos medem isso com algo chamado "determinante de Jacobian"), você deveria conseguir encontrar uma função inversa.
Parece razoável, né?
O problema é que ninguém nunca conseguiu provar que isso vale sempre. E agora, com ajuda de IA, descobrimos que não vale — em certos casos.
O Plot Twist: Mais Simples do que Qualquer um Esperava
O que está fazendo matemáticos falarem é isso: o contraexemplo que Alpöge encontrou é pequenininho. Vergonhosamente pequeno. Cabe numa única postagem.
O difícil nessa história é construir uma função muito específica — uma que não dobre o espaço E não possa ser invertida. Parece contraditório, mas essas duas coisas podem coexistir em certas dimensões.
E aí vai o detalhe mais interessante: especialistas achavam que exemplos assim talvez não existissem, ou seriam absurdamente complexos. Em vez disso, o Claude encontrou algo tão curto e elegante que, como alguém já tinha dito no Math Stack Exchange anos atrás, "algum graduando esperto poderia simplesmente escrever uma fórmula" que quebraria tudo.
Pois é. Essa pessoa estava certa. A fórmula é tão curta que outros matemáticos verificaram quase imediatamente.
Por Que Isso Importa?
Sei o que você está pensando: "Ok, mais uma coisa de matemática que provavelmente não afeta minha vida."
Pergunta justa. Minha opinião: essa história não é sobre a matemática em si. É sobre o que ela representa.
Estamos vivendo um momento em que IA está se tornando uma parceira real na criatividade e descoberta humana — não apenas uma ferramenta que faz tarefas específicas, mas algo que pode nos ajudar a pensar de formas novas. O fato de um modelo de IA lançado há poucas semanas ter ajudado a resolver um problema com quase 90 anos? Isso é impressionante.
Isso também segue um padrão que estamos vendo cada vez mais: IA fazendo contribuições reais em áreas que pareciam imunes à automação. Matemáticos, físicos, programadores — não eram profissões que as pessoas esperavam ser "disruptadas". Mas cá estamos.
A versão original da conjectura em duas dimensões (de 1884!) ainda não foi resolvida, aliás. Então ainda tem trabalho pela frente. Mas para dimensões três e acima? Caso encerrado.
O Quadro Geral
O que mais me interessa é o que isso diz sobre intuição em matemática. Por décadas, especialistas acreditaram que a conjectura de Jacobian provavelmente era verdadeira. Construíram carreiras em cima dessa crença. E agora, uma busca rápida de IA mostrou que essa intuição estava errada — pelo menos em dimensões maiores.
Tem uma lição aí sobre como até pessoas brilhantes podem perder algo óbvio quando estão olhando na direção errada. Talvez às vezes a gente só precise de um novo par de olhos — ou um novo conjunto de redes neurais — pra apontar o que está na frente de todo mundo.
Seja qual for sua opinião sobre IA, acho que todos podemos concordar: são tempos estranhos e empolgantes pra se estar vivo.
Fonte: ScienceDaily