OpenAI y la conjetura de primos gemelos: el modelo que estrecha la brecha
Un nuevo récord en la distancia entre primos consecutivos OpenAI publicó este mes el repositorio PrimeGaps186 en GitHub, una formalización en Lean 4 acompañada de un certificado numérico en Python que demuestra, de forma condicional, que existen infinitos pares de primos consecutivos separados por 186 o menos. El nombre ya lo dice: mejora la cota …









