لقد قمت بإعادة بناء نظام الثوابت الصريحة في جزء القوس الثانوي (الحدودي) من إثبات نظرية الأعداد الثلاثية ل Helfgott 2014، استنادًا إلى إثباتها. حيث قمت بإعادة تنظيم الثوابت الصريحة المبعثرة عبر عدة متباينات إلى بنية مشكلة حدية على بعد واحد.

من خلال هذا إعادة الصياغة، تم التعبير بشكل واضح عن مساهمة جميع الأقواس الثانوية كدالة صريحة، حيث يحدد قيمتها القصوى الثابت النهائي. بالإضافة إلى ذلك، باستخدام خاصية التزايد في النهاية وأساليب الحساب على الفترات، يمكن تحويل الخطوات التي كانت تعتمد على التقديرات اليدوية إلى شهادات رقمية قابلة للتحقق وإعادة الإنتاج.
الهدف الرئيسي من هذا العمل هو تنظيم التقديرات المعقدة والصعبة التحقق منها للثوابت إلى نظام كامل يمكن التحقق منه آليًا، وكشف النقاط التي تمثل العقبة الرئيسية أمام انخفاض عتبة الحد عند تحديد المعلمات الثابتة. اقرأ النص الكامل:
إعادة بناء حسابية دقيقة لحدود القوس الثانوي في إثبات هلفجوت لنظرية غولدباخ الثلاثية
— ميرور تانغ