Я на основе доказательства теоремы о трёх простых числах Хельгота 2014 года воссоздал явную систему констант для части minor-arc (краевой дуги), переработав разрозненные в неравенствах явные константы в структуру задачи о верхней границе на одномерной области.

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