Dựa trên chứng minh định lý ba số nguyên tố của Helfgott năm 2014, tôi đã tái cấu trúc hệ thống các hằng số tường minh trong đó phần cung nhỏ (cung biên), sắp xếp lại các hằng số tường minh nằm rải rác trong nhiều bất đẳng thức thành cấu trúc của một bài toán supremum một chiều. Thông qua việc viết lại này, tất cả các đóng góp của cung nhỏ đều được viết rõ ràng dưới dạng các hàm cụ thể, giá trị lớn nhất của chúng xác định hằng số cuối cùng. Bằng cách sử dụng tính đơn điệu đuôi và phép toán khoảng, các phương pháp ban đầu dựa vào ước lượng thủ công có thể được chuyển đổi thành các chứng chỉ số có thể kiểm chứng 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 các ước tính hằng số ban đầu phức tạp và khó kiểm chứng đầy đủ thành một hệ thống hoàn chỉnh có thể được máy móc kiểm chứng, từ đó làm sáng tỏ những điểm nghẽn chính hạn chế giảm giảm ngưỡng dưới các tham số cố định. Đọc toàn bộ bài viết: hackmd.io@7C7W0vM5Ql2UqkP2SwnA8A/Proof-of-Ternary-Goldbach… Một sự tái cấu trúc tính toán chặt chẽ về giới hạn cung nhỏ trong chứng minh định lý Goldbach tam phân của Helfgott. — Cá Tang Gương