Anthropic công bố Claude đã hoàn thành việc chuyển đổi chứng minh Định lý lớn Fermat sang mã Lean chỉ trong 11 ngày, giúp máy tính có thể kiểm chứng từng bước logic thay vì dựa vào con người.
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»Anthropic thông báo Claude đã tự động hoàn thành chứng minh hình thức bằng ngôn ngữ Lean cho Định lý lớn Fermat chỉ trong 11 ngày, đánh dấu bước tiến lớn trong việc ứng dụng AI vào toán học cao cấp.
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»
Rohan Paul@rohanpaul_aiAnother serious win for AI in mathematics: Claude formalized Fermat's Last Theorem in 11 days. AI m…
DịchAnthropic công bố Claude đã hoàn thành việc chuyển đổi chứng minh định lý Fermat của Wiles sang mã Lean thông qua hệ thống đa tác nhân, đánh dấu bước tiến lớn trong toán học máy tính.
Ethan Mollick@emollickIt is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much o…
DịchAnthropic đã đăng tải mã nguồn chứng minh Định lý lớn Fermat trên nền tảng Lean 4 lên GitHub. Chuyên gia Ethan Mollick nhận xét rằng cách trình bày các bước logic trong tài liệu vẫn mang đậm phong cách hành văn đặc trưng của AI Claude.
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»
Anthropic@AnthropicAIChecking that a major mathematical proof is correct can take years. Formalization-converting the mat…
DịchAnthropic công bố Claude đã thực hiện thành công chứng minh hình thức đầu tiên cho định lý lớn Fermat, tạo ra khối lượng mã Lean lớn nhất từ trước đến nay.
Anthropic công bố Claude đã hoàn thành chứng minh máy tính đầu tiên cho Định lý Fermat chỉ trong 11 ngày, thông qua việc viết 13 triệu dòng mã Lean và xác thực gần 30.000 định lý trung gian.
Diễn biến sự kiện · 7 bài →Thêm 8 nguồn khác đưa tinIT HomeQbitAIJiqizhixinX: Kim (@kimmonismus)X: Rohan Paul (@rohanpaul_ai)Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)X: Ethan Mollick (@emollick)X: Anthropic (@AnthropicAI)