Astra Estabelece Novo Limite para as Lacunas entre Números Primos
A OpenAI apresentou uma nova prova formal que reduz a constante de lacuna entre números primos para 186, marcando um avanço significativo na teoria analítica dos números.
Astra Estabelece Novo Limite para as Lacunas entre Números Primos
Este é um dos problemas clássicos e mais conhecidos da teoria analítica dos números. A questão é formulada da seguinte maneira: existe uma constante C tal que infinitos pares de números primos adjacentes diferem por no máximo C?
A finitude de tal lacuna foi provada pela primeira vez apenas em 2013. Em 2014, o projeto Polymath8, liderado por Terence Tao, reduziu a constante para 246, e recentemente, Julia Stadlmann conseguiu baixá-la para 240.
A Astra reduziu C para 186: a OpenAI divulgou uma prova formal em Lean. Detalhes no GitHub
Não se afirma que o modelo descobriu a estimativa de forma totalmente autônoma. Além disso, o resultado depende de três axiomas que existem na literatura, mas que não foram formalmente provados em Lean. Ainda assim, um resultado é um resultado. A OpenAI também alega ter melhorado um termo na estimativa das grandes lacunas entre primos, que permanecia inalterado há mais de 80 anos.
Por que isso importa
AnáliseEsta descoberta é significativa para a teoria analítica dos números ao reduzir a lacuna entre números primos, podendo influenciar futuras pesquisas neste campo.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores