Tôi dựa trên chứng minh định lý ba số nguyên tố của Helfgott năm 2014 để tái cấu trúc hệ thống hằng số rõ ràng trong phần minor-arc (cung biên), biến phần hằng số rõ ràng phân tán trong nhiều bất đẳng thức thành một cấu trúc của vấn đề giới hạn trên một chiều.

Thông qua cách viết lại này, tất cả đóng góp của minor-arc đều được biểu diễn rõ ràng thành các hàm rõ ràng, giá trị lớn nhất của chúng quyết định hằng số cuối cùng. Sử dụng tính đơn điệu của phần dư và phương pháp tính toán đoạn, có thể biến các bước ước lượng thủ công ban đầu thành các chứng cứ số có thể xác minh và tái tạo được.
Mục tiêu cốt lõi của công trình này là tổ chức lại các ước lượng hằng số phức tạp và khó kiểm tra hoàn toàn thành một hệ thống hoàn chỉnh có thể xác minh bằng máy, tiết lộ điểm nghẽn chính trong việc giảm ngưỡng giới hạn khi cố định tham số. Đọc toàn văn:
A Rigorous Computational Reconstruction of the Minor-Arc Bound in Helfgott’s Proof of Ternary Goldbach
— Mirror Tang