Relatórios de IA · Microsoft · 2026-10-21 · Blog / comentário
Resolvendo um grande desafio de 31 anos na matemática – a conjectura KLS
Título original: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Um pesquisador da Microsoft e um colaborador resolveram a conjectura de Kannan–Lovász–Simonovits (KLS), um problema com 31 anos de idade, proposto em 1995 e amplamente considerado uma das questões centrais em aberto da geometria de alta dimensão. O resultado estabelece um princípio geométrico universal para distribuições log-côncavas, mostrando que cortes planos simples capturam seus gargalos mais estreitos dentro de um fator fixo, independentemente da dimensão. O avanço surgiu de um processo de pesquisa agêntico conduzido por humanos, no qual sistemas de IA exploravam possibilidades enquanto pesquisadores avaliavam e redirecionavam a busca, e ele foi confirmado de forma independente e, em seguida, acompanhado de verificação formal conferida por máquina.