Phương pháp
Cuộc tấn công đổi hình thế nào
Dự án không cố ép một phương pháp duy nhất mạnh hơn, mà liên tục biểu diễn lại bài toán theo cách mới. Mỗi bước chuyển đều ghi rõ vì sao cách cũ bế tắc và cách mới hé lộ thêm điều gì.
Ống kính nén
14^13trạng thái tight thô
16,171lớp orbit (chính xác)
p = 191đóng hết tại một prime
p > 182chuyển đều, mọi prime
Tiến hóa phương pháp
00Enumerationchính xác nhưng bùng nổ
01Certificateskiểm được nhưng không nén
02CRT witnesscông thức nhân chứng độc lập prime
03Fourier massđuôi tuyệt đối quá yếu, dấu mới quan trọng
04Punctured momentsbỏ spike t=0 phổ quát
05Ratio graphchỉ cặp, hạng 8 không 12
06Relation hypergraphsupport-3 hoàn thiện hạng
07Projective directionsbản sao vô hướng gom về một hướng
08Modular rank (F_p)chiều đếm theo mod p
09Cyclic correlationsupport-4 chính xác toàn 109 prime
Thang bằng chứng
1Quan sát
2Đo được
3Thẩm định (có chặn)
4Có cơ sở nội bộ · I2← công việc hiện tại ở đây
5Audit độc lập · I3
6Kiểm chứng hình thức