Basado en la demostración del teorema de los tres primos de Helfgott en 2014, he reconstruido el sistema de constantes explícitas en la parte de los arcos menores (minor-arc), reorganizando las constantes explícitas dispersas en varias desigualdades en una estructura de problema de cota superior en una dimensión.

Mediante esta reescritura, toda la contribución de los arcos menores se expresa claramente como funciones explícitas, cuyo valor máximo determina la constante final. Además, utilizando la monotonía en las colas y métodos de aritmética de intervalos, se puede transformar el paso que dependía de estimaciones manuales en un certificado numérico verificable y reproducible.
El objetivo principal de este trabajo es organizar las estimaciones de constantes, originalmente complejas y difíciles de verificar completamente, en un sistema completo que pueda ser validado por máquina, revelando dónde se encuentra el principal cuello de botella en la disminución del umbral de restricción bajo parámetros fijos. Leer el artículo completo:
Una reconstrucción computacional rigurosa del límite en los arcos menores en la demostración de Helfgott del teorema de los tres primos