A OpenAI diz que modelos internos dela chegaram a três resultados em problemas que humanos tentavam fechar havia DÉCADAS: um em matemática, um em computação e um em física. Na matemática, é a conjectura de local smoothing. Ela trata de como as ondas se concentram, e a ideia é que o pico mais extremo de concentração dura só um instante. O problema tava aberto desde 1991, e os humanos só tinham conseguido resolver o caso mais simples. Se a prova da OpenAI se sustentar, ela também fecha outro quebra-cabeça clássico, o de Kakeya, que pergunta o quão pequena pode ser uma figura que tenha uma linha apontando pra cada direção. Não tem uso prático direto, mas encerra uma questão que a área persegue há décadas. Na computação, é a Hipótese do Tempo Exponencial. A OpenAI diz ter provado que ela é falsa. A hipótese diz que alguns problemas difíceis não têm atalho, ou seja, que pra resolver é preciso testar quase todas as combinações possíveis. Centenas de artigos partiam dessa hipótese pra dizer que certas coisas não dá pra fazer muito mais rápido. Se ela for mesmo falsa, existe um atalho que quase ninguém esperava, e essas conclusões perdem a base de onde partiram. Na física, é a existência matemática da QCD, a cromodinâmica quântica. A QCD é a teoria que explica como quarks e glúons seguram o núcleo do átomo. Ela é usada há uns 50 anos e bate com os experimentos, mas ninguém tinha provado matematicamente que ela se sustenta como teoria rigorosa. A OpenAI diz que provou. Um pedaço disso, a teoria de Yang–Mills, é parte de um dos sete Problemas do Milênio, aqueles que pagam US$ 1 milhão, mas o prêmio exige mais do que a OpenAI diz ter provado. Ninguém de fora confirmou nada ainda, e a prova de física nem foi publicada. Segundo a OpenAI, os modelos chegaram à prova de física entre 9 e 18 de setembro e aos outros dois resultados entre 16 e 18 de outubro. Agora são os humanos que vão conferir.