AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
- Nguồn
- Decrypt
- Đã đăng
- 2026-09-05 13:01 UTC
- Cập nhật cache
- 2026-09-05 13:03 UTC
Trang này chỉ hiển thị tiêu đề, tóm tắt và thông tin nguồn.
Mở bài gốc ↗Kiểm tra phí chuyển