Fermat's Last Theorem
AssessKỹ thuật
Định lý toán học nổi tiếng khẳng định phương trình x^n + y^n = z^n không có nghiệm nguyên khác 0 khi n > 2.
Vì sao ở đây
Xếp vào Assess: 3 bài bằng chứng từ 1 nguồn, chủ yếu là đột phá nghiên cứu, 1 bài trong 30 ngày qua. Độ tin cậy 34%.
Bằng chứng (3)
- 7Hacker News·6/9/2026researchChứng minh Định lý Hadwiger cầu nhờ AI
Một bản tiền ấn phẩm của Wang và Wu cho biết họ đã chứng minh Giả thuyết Hadwiger cầu vốn mở lâu năm với sự hỗ trợ của AI, trong đó OpenAI Codex được dùng để phát triển chi tiết chứng minh, phát hiện chỗ hổng và soạn thảo bản thảo. Bài viết xem đây là dấu hiệu nữa cho thấy AI đang bắt đầu tác động đến toán học nghiên cứu, kể cả ở các lĩnh vực hẹp có giá trị kinh tế thấp và ít dữ liệu huấn luyện.
- 6Hacker News·4/9/2026open_sourceHình thức hóa Định lý cuối cùng của Fermat trong Lean 4
Một dự án trên GitHub trình bày bản hình thức hóa Định lý cuối cùng của Fermat bằng Lean 4, cho thấy định lý này có thể được biểu diễn và kiểm chứng trong một trợ lý chứng minh. Tin này đáng chú ý chủ yếu như một nỗ lực nguồn mở về toán học và kiểm chứng phần mềm, hơn là một kết quả toán học mới.
- 10Hacker News·4/9/2026breakthroughClaude chính thức hóa Định lý cuối cùng của Fermat
Anthropic cho biết Claude đã tự chủ tạo ra bản chứng minh hình thức, được máy tính kiểm tra trọn vẹn, đầu tiên của Định lý cuối cùng của Fermat trong 11 ngày. Bản chứng minh được viết bằng Lean, với hàng triệu dòng mã và hàng chục nghìn định lý trung gian, cho thấy tiến bộ của AI trong việc hỗ trợ kiểm chứng hình thức toán học.