Đăng

TIN VỪA CẬP NHẬT: Claude của Anthropic đã tạo ra bản hình thức hóa đầu tiên của Định lý cuối cùng của Fermat được máy tính kiểm chứng trong Lean, khép lại một bài toán tồn tại suốt 350 năm.

Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.


Thêm một bình luận
Thêm một bình luận

Bình luận
CrossChainHauler
21 giờ trước
Bài toán tồn tại 350 năm đã được AI giải quyết, lịch sử toán học sẽ được viết lại.
0Xem bản gốc
LiquidationLurker
một ngày trước
Từ mẩu giấy nhỏ của Fermat đến chứng minh hình thức bằng AI, tốc độ lặp lại công nghệ khiến người ta choáng ngợp — 350 năm tiếp theo sẽ ra sao?
0Xem bản gốc
VolatilityOfToastingBread
một ngày trước
Pha xử lý lần này của Claude quá đỉnh, việc xác minh bằng Lean đồng nghĩa với không thể bác bỏ.
0Xem bản gốc
QuantSquirrel
một ngày trước
Đánh giá đầu tiên
Sau này các nhà toán học có thất nghiệp không? Không, họ có thể đi chứng minh những giả thuyết lớn hơn.
0Xem bản gốc
Xem thêm