# Anthropic công bố chứng minh Định lý Fermat bằng Lean 4, Ethan Mollick nhận diện 'dấu ấn' của Claude

- Nguồn: X: Ethan Mollick (@emollick)
- Thời gian phát hành: 2026-09-05 02:31 (giờ Việt Nam)
- Điểm AI: 56/100
- Link AIHOT.vn: https://aihot.vn/items/e773063f527e7cf9
- Nguồn dữ liệu AI HOT: https://aihot.news/items/cmtndnmof04qvrog1bm5gpxjx
- Link gốc: https://x.com/emollick/status/2095957821644763561

## Tóm tắt AI

Anthropic đã đă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.

## Thân bài

_Chưa có thân bài hiển thị được._ Đọc bài gốc: <https://x.com/emollick/status/2095957821644763561>