OpenAI afirma que os seus modelos internos alcançaram três resultados em problemas que humanos tinham tentado resolver há DÉCADAS: um em matemática, um em computação e um em física.
Em matemática, trata-se da conjectura de local smoothing. Ela lida com como as ondas se concentram, e a ideia é que o pico mais extremo de concentração dura apenas um instante. O problema estava aberto desde 1991, e os humanos só tinham conseguido resolver o caso mais simples. Se a prova da OpenAI se sustentar, ela também resolve outro quebra-cabeça clássico, o problema de Kakeya, que pergunta quão pequena pode ser uma figura que contenha uma linha apontando em cada direção. Não tem aplicação prática direta, mas encerra uma questão que a área persegue há décadas.
Em computação, trata-se da Hipótese do Tempo Exponencial. A OpenAI afirma ter provado que ela é falsa. A hipótese afirma que alguns problemas difíceis não têm atalho, ou seja, para resolvê-los é necessário testar quase todas as combinações possíveis. Centenas de artigos partiam dessa hipótese para afirmar que certas coisas não podem ser feitas muito mais rapidamente. Se ela for realmente falsa, existe um atalho que quase ninguém esperava, e essas conclusões perdem a base sobre a qual foram construídas.
Em física, trata-se da existência matemática da QCD, a cromodinâmica quântica. A QCD é a teoria que explica como quarks e glúons mantêm o núcleo atômico unido. Ela é utilizada há cerca de 50 anos e corresponde aos experimentos, mas ninguém havia provado matematicamente que ela se sustenta como uma teoria rigorosa. A OpenAI afirma ter provado isso. Uma parte disso, a teoria de Yang–Mills, faz parte de um dos sete Problemas do Milênio, aqueles que oferecem um prêmio de US$ 1 milhão, mas o prêmio exige mais do que a OpenAI afirma ter provado.
Ninguém externo ainda confirmou nada, e a prova em física nem foi publicada. Segundo a OpenAI, os modelos chegaram à prova em 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 irão verificar.