Um problema matemático mais antigo que o Google foi resolvido, com a IA fazendo grande parte da busca. Um pesquisador da Microsoft provou a conjectura de Kannan–Lovász–Simonovits, de 31 anos, depois que agentes de IA exploraram mais de 100 abordagens.

A Microsoft Research anunciou em 21 de outubro de 2026 que a pesquisadora sênior Xinzhi Zhang e o colaborador Zhao Song demonstraram a conjectura de Kannan–Lovász–Simonovits, um problema central em aberto da geometria de alta dimensão proposto em 1995. Seu artigo de 140 páginas "An O(1) Bound for the KLS Constant" (arXiv, 1º de outubro, revisado em 4 de outubro) estabelece um limite independente da dimensão, produzido por meio de um processo de pesquisa agêntica dirigido por humanos em que a IA explorou cerca de 100 trajetórias enquanto os pesquisadores podavam e redirecionavam a busca. Por que importa: KLS sustenta a teoria da amostragem em alta dimensão usada em estatística, otimização e algoritmos — e a prova, já corroborada por equipes independentes e verificada por máquina via Lean 4, marca um marco na descoberta matemática assistida por IA.

• Rohan Paul2026-10-22 06:11