Toàn bộ tin AI · Thẻ “Chứng minh hình thức”

2 tin · trang 1/1

05/09

Thứ Bảy · 1 tin
Kim@kimmonismus
Nghiên cứuĐiểm AI 76/100

Cùng sự kiệnClaude lập kỳ tích: Hoàn thành chứng minh hình thức đầu tiên cho Định lý lớn Fermat

Respect where respect is due: Anthropic says Claude completed the first fully computer-checked proof…

DịchAnthropic công bố Claude đã hoàn tất chứng minh hình thức cho Định lý lớn Fermat sau 11 ngày làm việc, tạo ra hơn 13 triệu dòng mã Lean – quy mô chứng minh lớn nhất từ trước đến nay.

ClaudeAnthropicToán họcChứng minh hình thức
Cùng sự kiện, tinh chọn hiển thị «Claude lập kỳ tích: Tự động chứng minh Định lý Fermat trong 11 ngày»

19/08

Thứ Tư · 1 tin
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Sản phẩmĐiểm AI 53/100

Palomar: Thư viện định lý toán học được xác thực bởi Lean chính thức mở cổng nhận đóng góp

Palomar là nền tảng lưu trữ các định lý toán học đã được kiểm chứng bằng công cụ Lean, kết hợp giữa kiểm tra logic máy tính và đánh giá từ AI để đảm bảo tính chính xác. Dự án này đánh dấu bước tiến quan trọng trong việc xây dựng kho tri thức toán học chuẩn hóa và đáng tin cậy.

Toán họcLeanChứng minh hình thứcPalomar
Tổng 2 tin, không còn tin nào nữa

40 tin mỗi trang, cuộn để tải tiếp · lọc và sắp xếp ngay trên máy chủ (23 ms) · bộ lọc nằm trong đường dẫn nên chia sẻ link là giữ nguyên kết quả

Toàn bộ tin AI · Thẻ “Chứng minh hình thức” | AIHOT.vn