# Microsoft diz que pesquisadores resolveram a conjectura KLS após 31 anos

- Publicada: 2026-10-21T18:39:50.000Z
- Atualizada: 2026-10-21T22:05:58.839Z
- Editoria: Modelos
- Assuntos: Pesquisa
- Página: https://aidailyjournal.com/pt/n/2026/10/21/microsoft-says-researchers-solved-the-31-year-old-kls-conjecture/
- Fontes: [Microsoft](https://microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture)

## Resumo

A Microsoft diz que dois pesquisadores, incluindo Xinzhi Zhang, da Microsoft Research, provaram a conjectura de Kannan–Lovász–Simonovits (KLS), proposta em 1995 e considerada um problema central em geometria de alta dimensão. O resultado estabelece, segundo a empresa, que cortes planos podem capturar os gargalos mais estreitos de distribuições log-concavas dentro de um fator fixo, independentemente do número de dimensões. A conjectura tem implicações para probabilidade, estatística, otimização, algoritmos e amostragem em alta dimensão.

Segundo a Microsoft, a prova surgiu de um processo de pesquisa com agentes de IA, no qual os sistemas exploraram possibilidades enquanto os pesquisadores avaliavam, filtravam e redirecionavam as ideias. A empresa afirma que vários pesquisadores independentes validaram o trabalho e que uma verificação formal conferida por máquina confirmou seu critério central. O texto não apresenta os detalhes técnicos completos da prova.

## Por que importa (interpretação editorial)

Se confirmados, os resultados descritos pela Microsoft podem ampliar o papel de agentes de IA na exploração de problemas matemáticos difíceis, sem retirar dos pesquisadores a avaliação e a direção das ideias. A validação independente e a verificação formal citadas pela empresa também destacam a importância de checagens externas para esse tipo de alegação.

_Resumo escrito pelo AI Daily Journal a partir das fontes acima, com palavras próprias. Para detalhes, leia as matérias originais._