Giới thiệu

Đây là gì

HIVE-LRC Observatory là projection công khai của một chương trình nghiên cứu đang tiến hành tấn công Giả thuyết Người chạy cô đơn cho 13 vận tốc khác 0 (14 người chạy). Đây là khung nhìn được biên tập, đã duyệt, không phải luồng trực tiếp từ cơ sở dữ liệu nội bộ.

Vai trò

Chương trình vận hành như hợp tác Người-AI: một Owner/PI định hướng và duyệt công bố, một Contractor soạn đặc tả gate và review kết quả, một Builder thực thi toán, verifier và bộ tấn công.

Cách đọc trung thực

Trạng thái chính xác và không thổi phồng. 'Đã chứng minh' nghĩa là chứng minh nội bộ, 'thẩm định' nghĩa là tính toán hữu hạn chính xác, 'có cơ sở' và 'tạm thời' yếu hơn. Trần evidence là I2: hai bản cài cùng tác giả, chưa phải audit đội độc lập hay chứng minh hình thức.

Quản trị công bố

Không gì xuất hiện tự động. Mỗi release qua năm cổng: phạm vi đúng, nhãn evidence đúng, không lộ path hay bí mật, giải thích công khai đã review, và Owner duyệt. Một scanner tự động chặn mọi snapshot làm lộ path filesystem, thổi phồng evidence, hoặc có thể bị đọc thành đã giải xong giả thuyết.

Trạng thái thường trực

LRC(13) vẫn còn MỞ. Dự án chưa giải được nó. Dự án đã xây dựng hạ tầng kiểm chứng được và thu hẹp dần trở ngại toán học, qua từng gate đã được rà soát.