Baseando-se na demonstração do Teorema dos Três Primos de Helfgott em 2014, reconstrui explicitamente o sistema de constantes em relação à parte do arco menor (minor-arc), reorganizando as constantes explícitas dispersas em várias desigualdades numa estrutura de problema de supremo unidimensional.

Por meio dessa reescrita, toda a contribuição do arco menor é explicitamente expressa como uma função, cujo valor máximo determina a constante final. Além disso, ao aproveitar a monotonicidade do cauda e métodos de aritmética intervalar, é possível transformar etapas que originalmente dependiam de estimativas manuais num certificado numérico verificável e reproduzível.
O objetivo central deste trabalho é organizar as estimativas de constantes, originalmente complexas e de difícil verificação completa, numa estrutura integral que possa ser validada por máquina, revelando onde estão os principais obstáculos para a redução do limiar de restrição sob parâmetros fixos. Leia o artigo completo:
A Reconstrução Computacional Rigorosa do Limite do Arco Menor na Demonstração de Helfgott do Teorema de Goldbach de Três Primos
— Mirror Tang