Astra encuentra un nuevo límite en las brechas entre números primos
OpenAI ha presentado una nueva prueba formal que reduce la constante de brecha entre números primos a 186. Este es un avance significativo en la teoría analítica de números.
Astra encuentra un nuevo límite en las brechas entre números primos
Este es uno de los problemas clásicos y más conocidos en la teoría analítica de números. La pregunta se plantea de la siguiente manera: ¿existe una constante C tal que infinitas parejas de números primos adyacentes difieren en no más de C?
La finitud de tal brecha fue probada por primera vez solo en 2013. En 2014, el proyecto Polymath8 dirigido por Terence Tao redujo la constante a 246, y recientemente, Julia Stadlmann la ha bajado a 240.
Astra ha reducido C a 186: OpenAI ha publicado una prueba formal en Lean. Detalles en GitHub
No se indica que el modelo haya descubierto la estimación de manera completamente autónoma. Además, el resultado depende de tres axiomas que existen en la literatura, pero que no han sido probados formalmente en Lean. Sin embargo, un resultado es un resultado. OpenAI también afirma haber mejorado un término en la estimación de grandes brechas entre primos, que no ha cambiado en más de 80 años.
Por qué es importante
AnálisisEste descubrimiento es significativo para la teoría analítica de números, ya que reduce la brecha entre números primos, lo que podría influir en futuras investigaciones en este campo.
Debatir en la comunidad
Comparte tus preguntas e ideas con desarrolladores
Relacionado en el ecosistema
Guías prácticas, terminología y skills de agentes
Codex Skills para principiantes: automatización de flujos de trabajo con agentes de IA
Guía práctica para crear y ejecutar Skills en Codex: anatomía de SKILL.md, activación explícita y automática, diferencias entre skills, scripts y tools, Skills API y límites de seguridad.
GPT Mini (Modelos Compactos de la Serie GPT-4o Mini)
Versión económica y ultrarrápida de los modelos insignia de OpenAI. Optimizada para tareas diarias masivas, respuestas instantáneas, clasificación de textos y ahorro de límites.
OpenAI GPT (Modelos Flagship de la Serie GPT)
La principal línea universal de grandes modelos de lenguaje de OpenAI (GPT-4, GPT-4o). Optimizada para análisis de texto complejo, programación, creatividad y trabajo intelectual diario.
Cuatro consejos para el currículum del responsable de desarrollo de IA aplicada en OpenAI
Wulfie Bain, responsable de desarrollo de IA aplicada en OpenAI, destacó cuatro reglas: brevedad, relevancia, enfoque en resultados y logros más importantes al inicio.