Conjectura de Aaronson-Ambainis é provada, e por uma IA

A Conjectura de Aaronson-Ambainis (AA), proposta por Scott Aaronson e Andris Ambainis em 2009, diz que todo polinômio limitado de grau d, em n variáveis booleanas, com variância constante, tem alguma variável com influência de pelo menos 1/poly(d). Segundo Aaronson, a conjectura implica que não existe vantagem superpolinomial de consultas quânticas sobre as clássicas, para problemas de decisão que funcionem na maioria das entradas. Em termos de classes de complexidade, isso quer dizer que não dá para separar P de BQP relativamente a um oráculo aleatório sem provar algo como P≠BQP no mundo sem oráculo. A pergunta vem de Fortnow e Rogers, em 1998.

A startup Physical Superintelligence (PSI) anunciou uma prova, com influência de pelo menos cerca de 1/d⁶, que diz ter obtido com seu harness de pesquisa proprietário sobre um modelo interno da Claude. Aaronson afirma não saber qual foi o papel do harness em comparação com o modelo. O trabalho foi liderado por David Turturean e Jim Halverson. Aaronson ainda não estudou a prova, mas a considera correta por dois motivos: há um certificado em Lean e especialistas humanos já a revisaram. Já existe uma exposição escrita por Guy Blanc (MIT) e por Jordan Docter, Carmen Strassle e Li-Yang Tan (Stanford).

A cobertura anterior do CEVIU mostra o ritmo da onda. Em 14 de abril de 2026, a matéria "A Revolução da IA na Matemática Chegou" tratava do avanço acelerado da IA na área. Em 6 de agosto de 2026, "IA Revoluciona a Resolução de Desafios Matemáticos Clássicos de Erdős" registrou problemas de Erdős sendo atacados. Em 7 de outubro de 2026, "OpenAI Anuncia Avanços em Matemática com Centenas de Novas Descobertas" falou de resultados de um modelo interno. Aaronson se refere a esse lote como o "Mathocalypse dump" da OpenAI e estranhou a AA não aparecer nele. A novidade agora é que a AA, um problema central de complexidade de consultas quânticas, foi resolvida por outro grupo, a PSI.

Para quem acompanha computação quântica, a leitura prática é de escopo. Aaronson explica que o resultado exclui só um tipo de supremacia quântica (problemas de decisão relativos a oráculos aleatórios), que já se conjecturava inexistente. Ele diz que não afeta o algoritmo de Shor nem a simulação de física e química quânticas. Para quem opera pesquisa ou engenharia, o recado é outro: certificados em Lean viram o filtro de confiança quando provas de IA chegam mais rápido do que humanos conseguem revisar.