IA e os Problemas Difíceis do Mundo · Matemática · Microsoft Research · 2026-10-21
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
Pesquisadores resolveram a conjectura de Kannan–Lovász–Simonovits (KLS), proposta em 1995 e amplamente considerada uma das principais questões em aberto da geometria de alta dimensão. A demonstração surgiu de um processo agêntico dirigido por humanos, em que sistemas de IA exploravam possibilidades matemáticas enquanto os pesquisadores avaliavam, podavam e redirecionavam a busca. O resultado estabelece que cortes planos simples capturam os gargalos mais estreitos de distribuições log-côncavas dentro de um fator fixo, independentemente da dimensão, e foi confirmado por pesquisadores independentes, seguido de verificação formal checada por máquina.