Saya membangun kembali sistem konstanta eksplisit bagian minor-arc (busur pinggir) dalam bukti Teorema Tiga Bilangan Prima Helfgott 2014 berdasarkan pada pembuktian tersebut, mengatur ulang konstanta eksplisit yang tersebar di berbagai ketaksamaan menjadi sebuah struktur masalah batas atas satu dimensi.

Melalui penulisan ulang ini, semua kontribusi minor-arc secara eksplisit dituliskan sebagai fungsi eksplisit, di mana nilai maksimumnya menentukan konstanta akhir. Dengan memanfaatkan monotonicitas tail dan metode aritmetika interval, langkah-langkah yang sebelumnya bergantung pada estimasi manual dapat diubah menjadi sertifikat numerik yang dapat diverifikasi dan direproduksi.
Tujuan utama dari pekerjaan ini adalah mengatur ulang estimasi konstanta yang kompleks dan sulit diverifikasi secara penuh menjadi sebuah sistem lengkap yang dapat diverifikasi oleh mesin, mengungkapkan di mana hambatan utama dalam menurunkan ambang batas batasan parameter tetap. Bacalah seluruhnya:
A Rigorous Computational Reconstruction of the Minor-Arc Bound in Helfgott’s Proof of Ternary Goldbach
— Mirror Tang