O Último Problema da Olimpíada de Matemática que a IA Não Conseguiu Resolver

A Fronteira da Matemática e a Inteligência Artificial

A Olimpíada Internacional de Matemática (IMO) reúne anualmente os melhores estudantes do mundo para resolver seis problemas de altíssima complexidade. Na edição de 2025, realizada na Austrália, o problema número 6 destacou-se como o obstáculo mais difícil de toda a competição. Menos de um por cento dos estudantes obtiveram nota máxima nessa questão específica.

Resolver um problema desse nível exige muito mais do que memorização ou cálculo rápido. É preciso imaginação, criatividade profunda e a capacidade de construir provas lógicas rigorosas. Imagine um arquiteto que não apenas segue um manual, mas precisa inventar um novo material de construção para erguer uma ponte inédita.

Até pouco tempo atrás, considerava-se impossível que a inteligência artificial resolvesse problemas da IMO. A razão é simples: o volume de caminhos lógicos possíveis cria uma busca infinita. Contudo, em 2024, sistemas do Google DeepMind resolveram quatro dos seis problemas ao traduzir raciocínios para uma linguagem formal chamada Lean.

A linguagem Lean funciona como um assistente de prova onde computadores podem verificar a exatidão de demonstrações matemáticas. Em 2025, múltiplos sistemas de inteligência artificial avançaram ainda mais, resolvendo quase toda a prova. O problema 6, no entanto, permaneceu como o último grande bastião onde a máquina falhou.

O Desafio dos Azulejos na Grade

O problema 6 da olimpíada pede o número mínimo de azulejos retangulares necessários para cobrir parcialmente uma grade de tamanho 2025 por 2025. A regra exige que, ao final, cada linha e cada coluna da grade tenha exatamente um quadrado unitário descoberto.

Para visualizar a situação sem se perder em números gigantescos, pense em uma oficina onde precisamos organizar peças menores em um painel grande. O vídeo utiliza um exemplo menor de grade de 10 por 10 colunas, reduzindo gradualmente o total de azulejos de 21 para 16.

O objetivo é encontrar o equilíbrio perfeito entre cobrir o espaço e manter os buracos exatos exigidos pelas regras. Se colocarmos azulejos demais, violamos a otimização; se colocarmos de menos, faltarão espaços descobertos nas linhas e colunas.

A construção ideal identificada no problema utiliza quadrados baseados no quadrado de um número k. Aplicando essa lógica matemática, chegamos a uma fórmula específica para o número mínimo de azulejos necessários.

A Fórmula e a Escala para o Mundo Real

A fórmula desenvolvida para resolver o quebra-cabeça depende de um número k, resultando em k ao quadrado somado a 2k menos 3 para definir a quantidade mínima de azulejos. É como calcular a quantidade exata de pisos para um salão com regras geométricas rígidas.

No caso específico da grade proposta na olimpíada de 2025, que mede 2025 por 2025, percebemos que 2025 é exatamente o quadrado de 45. Portanto, o valor de k na nossa fórmula é igual a 45.

Substituindo o número na fórmula, multiplicamos 45 ao quadrado, somamos o dobro de 45 e subtraímos três. O resultado final aponta exatamente para 2112 azulejos como a resposta ótima para o problema.

Chegar ao número é apenas a metade do trabalho em uma olimpíada matemática. A parte mais difícil e exigente é provar, sem deixar margem para dúvidas, que nenhum outro arranjo no mundo poderia usar menos do que 2112 azulejos.

A Prova Rigorosa e a Contagem de Arestas

Para provar que a construção é realmente a melhor possível, os matemáticos recorrem a métodos analíticos complexos. Isso envolve contar as arestas dos quadrados unitários que são cruzadas pelas linhas e divisões dos azulejos.

Pense em um inspetor de qualidade que analisa as costuras de uma roupa para garantir que nenhuma linha foi desperdiçada. Na matemática, relacionamos o número total de azulejos com subgrafos e permutações para traçar limites intransponíveis.

A matemática tem suas leis próprias e exige respeito à simetria. Como dizia o apresentador no vídeo, a disciplina recompensa quem respeita suas simetrias e pune severamente quem tenta ignorá-las.

Essas análises estruturais permitem descartar de vez qualquer tentativa de atalho. Cada peça colocada na grade precisa se alinhar perfeitamente às restrições globais do sistema.

O Teorema de Erdős-Szekeres e as Subsequências

Um dos pilares fundamentais para sustentar essa demonstração é o Teorema de Erdős-Szekeres. Trata-se de um conceito da combinatória que estuda a ordem e a disposição de elementos em uma sequência numérica.

O teorema garante que, em qualquer sequência com um número N de elementos distintos, sempre existirá uma subsequência crescente ou decrescente com um tamanho mínimo previsível. É como organizar uma fila de pessoas por altura e encontrar subgrupos que crescem ou diminuem consistentemente.

Além disso, a demonstração utiliza a desigualdade entre a média aritmética e a média geométrica, conhecida como AM-GM. Esse princípio algébrico ajuda a estabelecer os limites inferiores absolutos para o número de azulejos na grade.

Combinar esses teoremas permite fechar o cerco lógico em torno do problema. A estrutura numérica não deixa espaço para soluções menores do que a calculada.

O Futuro da Inteligência Artificial e a Intuição Humana

O avanço das inteligências artificiais na resolução de problemas matemáticos complexos é impressionante, mas revela diferenças profundas na forma como o conhecimento é gerado. Os modelos computacionais atuais funcionam por meio de aprendizado por reforço (reinforcement learning), testando milhões de variações.

Contudo, como apontam os especialistas no vídeo, as máquinas ainda lutam para ter paciência e intuição. Ensinar um sistema a sentir o problema, a desenvolver um apreço pela estética da solução e a compreender o contexto continua sendo um desafio.

A matemática praticada pelos seres humanos é guiada pelo desejo de compreensão profunda. O objetivo não é apenas acumular respostas corretas, mas buscar a clareza e a beleza intelectual que uma prova elegante proporciona.

O fato de o problema 6 ter resistido mostra que a fronteira entre a computação de força bruta e a intuição criativa ainda guarda espaço para a genialidade humana. A tecnologia avança rápido, mas a essência da descoberta permanece profundamente ligada à experiência consciente.