AI đang tiến thêm một bước vào thế giới toán học thuần túy. Nhóm nghiên cứu dùng mô hình ngôn ngữ kết hợp phần mềm chứng minh đã giúp hoàn tất kiểm chứng hình thức cho công trình của Maryna Viazovska, nữ toán học Ukraina đoạt Fields Medal với lời giải bài toán xếp khối cầu 8 chiều.

Bước tiến này cho thấy AI không chỉ viết code hay làm chatbot, mà còn có thể hỗ trợ xác minh những chứng minh cực khó, lĩnh vực các đại học và startup Mỹ đang đầu tư mạnh để tăng tốc nghiên cứu.