Um modelo de inferência da OpenAI, sem treinamento específico em matemática, alcançou um avanço significativo em geometria combinatória. Pela primeira vez em oito décadas, foi demonstrada a existência de uma família infinita de configurações com pelo menos n^(1+δ) pares a distância unitária, refutando uma conjectura que guiava a pesquisa desde os anos 40.
Como a IA encontrou o que os humanos ignoraram 🧠
O modelo explorou combinações de pontos em espaços de alta dimensão que os matemáticos consideravam improdutivas. Aplicando padrões de busca não supervisionados, identificou estruturas que geram um crescimento polinomial de pares unitários, com δ fixo maior que zero. O resultado não apenas invalida a conjectura anterior, mas abre um caminho para construir exemplos concretos, algo que os métodos tradicionais não conseguiam desde 1946.
Matemáticos, a IA ganhou de vocês (e sem suar) 😅
Enquanto os humanos debatiam se o limite era n^(1+ε) para ε tendendo a zero, a IA chegou e disse: olhem, deixo δ fixo e uma família infinita na mesa. O curioso é que o modelo não é um gênio da matemática, apenas um resolvedor de propósito geral. Agora cabe aos matemáticos explicar por que não pensaram nisso antes, ou pelo menos fingir que estavam prestes a descobrir.