IA Resolve Problema Aberto de 20 Anos em 30 Minutos; Verificação Leva 5 Dias

Dimitris Papailiopoulos, cientista da Microsoft Research, usou o GPT-5.6 e o Claude Fable 5 para resolver uma questão em aberto desde 2001: se o problema de detecção MIMO pode ser resolvido por um algoritmo polinomial rápido sempre que for estatisticamente possível. Os modelos afirmaram independentemente que não existe lacuna e forneceram provas para algoritmos diferentes. Papailiopoulos escolheu o algoritmo do Claude Fable—uma estimativa linear grosseira com arredondamento seguida de inversões de bits gananciosas—e pediu ao GPT para corrigir sua prova, que estava 'majoritariamente errada, mas recuperável'. Ele então passou cinco dias iterando com ambos os modelos para simplificar o argumento em uma forma verificável, rejeitando quaisquer passos que não conseguisse acompanhar, apesar de permitir constantes piores. A prova final é elementar, baseando-se em técnicas conhecidas dos anos 2010. No entanto, o resultado ainda não foi revisado por pares, e o modelo de canal idealizado significa que não melhorará roteadores reais. Papailiopoulos também sugere que os modelos destilam a intuição humana coletiva e que muitos problemas abandonados aguardam soluções semelhantes.