Em setembro, a OpenAI anunciou uma aparente solução para um dos sete problemas do prêmio Millennium em matemática: Navier-Stokes, uma longa questão sobre equações que descrevem o comportamento dos fluidos. Embora a empresa posteriormente tenha divulgado centenas de resultados, nenhuma nova prova do Millennium foi incluída, embora algumas descobertas tenham mostrado progresso nas cinco perguntas abertas restantes.
Quais são essas questões especializadas? Elas são difíceis, mesmo para a maioria dos matemáticos. Uma delas é a hipótese de Riemann, formulada em um artigo de 1859 pelo matemático alemão Bernhard Riemann. Ela diz respeito aos números primos e sua distribuição ao longo da linha numérica. À medida que os números crescem em tamanho, os primos tornam-se mais raros. Riemann propôs uma hipótese que fornece uma fórmula precisa para estimar quantos primos existem abaixo de qualquer número dado. Ele morreu aos 39 anos antes de retornar ao problema. Peter Sarnak, matemático na Universidade de Princeton e no Instituto de Estudos Avançados, o chamou de "um grande problema" e disse que uma prova "seria monumental matematicamente".
Um resultado relacionado à quasi-hipótese de Riemann foi verificado pelo Lean, um assistente de prova computacional, e considerado provavelmente correto. No entanto, ele não é suficiente para resolver o problema Millennium original. Alex Kontorovich, presidente do departamento de matemática da Rutgers, o descreveu como uma "descoberta fundamental", mas notou que seriam necessárias ideias genuinamente novas para provar a hipótese completa.
Outros problemas restantes incluem a conjectura de Birch e Swinnerton-Dyer, formulada no início dos anos 1960 pelos matemáticos britânicos Bryan John Birch e Sir Peter Swinnerton-Dyer usando um computador precoce, o EDSAC-2.
Fonte: New York Times Top Stories · Resumido por HeadlinesBriefing