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
Relacionado no ecossistema
Guias práticos, terminologia essencial e skills de agentes
Codex Skills para iniciantes: como automatizar fluxos de trabalho de agentes de IA
Guia prático para criar e usar Skills no Codex: anatomia do SKILL.md, ativação explícita e automática, diferenças entre skills, scripts e tools, Skills API e configuração de limites de segurança.
Sam Altman muda nome da conta no X para Ram Altman
Sam Altman, CEO da OpenAI, mudou o nome exibido da sua conta no X para Ram Altman.
OpenAI prepara GIFs animados para o ChatGPT
A OpenAI adicionou suporte experimental à geração de GIFs animados no Codex, usando a OpenAI Images API. A função pode chegar ao ChatGPT em breve.
GPT Mini (Modelos compactos da série GPT-4o mini)
Versão econômica e ultrarrápida dos modelos principais da OpenAI. Otimizada para tarefas diárias em massa, respostas instantâneas, classificação de textos e economia de limites.