Microsoft diz que pesquisadores resolveram a conjectura KLS após 31 anos
🎧 Ouça esta notícia
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.
Fontes
Pesquisa