Constructive Solid Geometry
AssessKỹ thuật
Kỹ thuật mô hình 3D kết hợp các khối bằng các phép toán như hợp, giao và trừ.
Vì sao ở đây
Xếp vào Assess: 1 bài bằng chứng từ 1 nguồn, chủ yếu là tin nghiên cứu, 1 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.
Bằng chứng (1)
- 7Hacker News·28/7/2026researchTạo hình giao cắt lưới CSG 3D được kiểm chứng hình thức bằng Lean 4
Dự án này giới thiệu thứ được cho là hiện thực hóa đầu tiên được kiểm chứng hình thức cho kernel giao cắt lưới trong hình học rắn xây dựng 3D, được xây dựng bằng Lean 4 và đối chiếu với một đặc tả hình thức ngắn gọn. Dự án cũng nhấn mạnh cách dựa vào chứng minh được máy kiểm tra thay vì phải tin vào mã triển khai do AI tạo ra, với bản demo chạy kernel đã được xác minh trong trình duyệt bằng WebAssembly.