Я на основі доведення теореми трьох простих чисел Хельгота 2014 року щодо мінор-дуги (краєвої дуги) виконав реконструкцію явної системи констант, що використовуються там, переформулював розкидані по кількох нерівностях явні константи у структуру задачі на верхню межу в одновимірному просторі.

Завдяки цьому переписуванню, внесок усіх мінор-дуг явно записаний у вигляді явних функцій, максимум яких визначає кінцеву константу. Використовуючи монотонність на кінці та методи арифметики інтервалів, можна перетворити раніше залежні від ручних оцінок кроки у числові сертифікати, що можна перевірити та відтворити.
Головна мета цієї роботи — перетворити складні та важко повністю перевіряємі оцінки констант у цілісну систему, яку можна машинно підтвердити, розкриваючи основні обмеження для зниження порогових значень при фіксованих параметрах. Читати далі:
A Rigorous Computational Reconstruction of the Minor-Arc Bound in Helfgott’s Proof of Ternary Goldbach
— Mirror Tang