Claude của Anthropic vừa đạt một cột mốc đáng chú ý trong lĩnh vực toán học khi chỉ mất 11 ngày để hoàn thành việc hình thức hóa Định lý cuối cùng của Fermat bằng Lean, tạo ra một hệ thống chứng minh khổng lồ mà máy tính có thể kiểm tra từng bước về mặt logic. Đứng sau dự án là Tianyi Peng (Peng...
