IA da OpenAI avança sobre conjectura de Kakeya — pesquisa matemática brasileira encara nova corrida por financiamento e talentos

Em 7 de outubro, a OpenAI publicou simultaneamente 722 manuscritos de matemática, com artigos e provas parciais em Lean enviados ao GitHub. Entre eles, dois artigos assinados apenas como 'OpenAI' atacam diretamente a conjectura de Kakeya — o mesmo problema que rendeu a Medalha Fields de 2026 a Wang Hong e Joshua Zahl. Um dos textos afirma provar a conjectura da função maximal de Kakeya em três dimensões, versão mais forte que a de Wang e Zahl; o outro alega ter resolvido o caso quadridimensional. Para o Brasil, o movimento sinaliza que a fronteira da matemática aplicada à IA está se deslocando rapidamente, com implicações para laboratórios como IMPA, LNCC e grupos de pesquisa em São Paulo e Rio de Janeiro. Em julho deste ano, Wang Hong e Deng Yu receberam a Medalha Fields na Conferência Internacional de Matemáticos da Filadélfia. Na esteira da premiação, o funcionário da Anthropic Alek Dimitriev publicou no X que aquela edição seria a última vez que a humanidade entregaria o prêmio; Timothy Gowers, vencedor anterior, respondeu que já tivera pensamentos semelhantes, mas acreditava que a matemática humana aguentaria até 2030. A divulgação da OpenAI em 7 de outubro sugere que Gowers pode ter sido otimista. O grupo de número 074 dos 722 manuscritos contém apenas dois artigos, ambos na direção que consagrou Wang Hong: a conjectura de Kakeya. O primeiro afirma provar a conjectura da função maximal de Kakeya em três dimensões, uma versão mais forte do que a demonstrada por Wang e Zahl em fevereiro de 2025. O segundo alega ter provado a conjectura de Kakeya em quatro dimensões. Juntos, os manuscritos somam 272 páginas e trazem apenas uma palavra na coluna de autores: OpenAI. O impacto direto no Brasil é indireto, mas relevante para quem opera na fronteira entre matemática, computação e inteligência artificial. A conjectura de Kakeya, formulada em 1917 pelo matemático japonês Sōichi Kakeya, pergunta qual a menor área necessária para girar 180 graus uma agulha de comprimento unitário no plano. Besicovitch mostrou que a área pode ser arbitrariamente pequena — e que um conjunto pode conter uma agulha em todas as direções e ainda ter área zero. A resposta contra-intuitiva forçou os matemáticos a adotar a 'dimensão' como régua. A conjectura geral diz que, no espaço n-dimensional, um conjunto que contenha um segmento unitário em todas as direções deve ter dimensão n completa. O caso plano foi provado por Davies em 1971; o tridimensional ficou meio século em aberto até Wang e Zahl. Quatro dimensões ou mais permaneciam sem prova — até agora, segundo a OpenAI. Os dados mostram que a OpenAI não está apenas aplicando IA a problemas já resolvidos: os dois artigos atacam versões mais difíceis do que a demonstrada por Wang e Zahl. O primeiro, de 97 páginas, trata da 'versão de função maximal', que exige controle exato da sobreposição de tubos finos em três dimensões — um refinamento que o próprio artigo de Wang e Zahl havia deixado em aberto ao usar uma potência mais frouxa de λ. Na leitura do CBI, isso indica que a IA generativa está sendo usada não como ferramenta de cálculo, mas como agente de descoberta matemática, capaz de propor e estruturar provas originais. Para o Brasil, o sinal é claro: grupos de pesquisa que dependem de financiamento via CNPq, CAPES e FAPESP precisam decidir se entram nessa corrida ou se concentram em nichos onde a vantagem humana ainda é defensável. O que acompanhar: primeiro, a validação independente dos dois manuscritos pela comunidade matemática — provas em Lean no GitHub permitem verificação formal, mas a aceitação em periódicos como Annals of Mathematics ainda é o crivo decisivo. Segundo, a reação de agências brasileiras: se FAPESP, CNPq ou o IMPA anunciarem grupos dedicados a provas assistidas por IA nos próximos meses, será um indicador de que o país está tentando se posicionar. Terceiro, o desempenho de modelos como GPT-5 e sucessores em benchmarks matemáticos formais (MiniF2F, Putnam) ao longo de 2027, que dará a medida de quão rápido essa fronteira avança.