- Nhiều nhà toán học cho rằng lĩnh vực toán học đang trải qua một trong những thay đổi nhanh nhất trong lịch sử khi AI nhanh chóng nâng cao khả năng giải toán và chứng minh định lý.
- Năm 2025, nhà toán học Daniel Litt đặt cược rằng chỉ có 25% khả năng AI có thể viết một bài báo toán học ngang tầm các nhà toán học hàng đầu trước năm 2030, nhưng chỉ một năm sau ông cho rằng mình có thể sẽ thua cược.
- Chỉ vài năm trước, AI gần như không giải được bài toán trung học, nhưng hiện tại đã có thể xử lý các vấn đề xuất hiện trong nghiên cứu toán học thực tế.
- Các hệ thống AI từ các công ty như OpenAI và Google DeepMind đã đạt thành tích tương đương huy chương vàng tại kỳ thi International Mathematical Olympiad, một cuộc thi toán học khó dành cho học sinh trung học.
- Tháng 1/2026, các nhà toán học bắt đầu dùng AI để giải một số bài toán lâu đời do nhà toán học Paul Erdős đề xuất.
- Một dự án mới mang tên First Proof do Nikhil Srivastava tại Đại học California Berkeley khởi xướng nhằm tạo bộ bài toán nghiên cứu thực tế để đánh giá khả năng toán học của AI.
- Bộ thử nghiệm đầu tiên gồm 10 bài toán đến từ nhiều lĩnh vực toán học khác nhau với mức độ khó trung bình đến nâng cao.
- AI từ OpenAI được cho là giải đúng khoảng 5/10 bài, trong khi hệ thống của Google DeepMind giải đúng 6/10 theo đánh giá của các chuyên gia.
- Google phát triển công cụ AI toán học tên Aletheia, kết hợp chatbot Gemini với thuật toán kiểm chứng nhằm phát hiện lỗi trong lời giải và cải thiện kết quả qua nhiều vòng lặp.
- Ngoài việc giải bài toán, AI còn tiến bộ trong việc chuyển các chứng minh viết tay sang dạng mã có thể kiểm chứng bằng máy tính, gọi là formalisation.
- Công ty Math, Inc. gây bất ngờ khi AI Gauss của họ tự động formalise và xác minh một chứng minh đoạt giải Fields Medal của Maryna Viazovska về bài toán sắp xếp hình cầu trong không gian.
- Bản chứng minh do AI tạo ra dài khoảng 200.000 dòng mã, tương đương khoảng 10% tổng số toán học đã được formalise trên thế giới.
- Các nhà nghiên cứu tin rằng trong tương lai, AI có thể tự động kiểm tra bài báo toán học mới và phát hiện lỗi trong quá trình phản biện học thuật.
📌 AI đang thay đổi sâu sắc cách toán học được thực hiện. Các hệ thống AI đã đạt kết quả 5/10 đến 6/10 bài toán nghiên cứu trong dự án First Proof và thậm chí tự động formalise một chứng minh đoạt giải Fields Medal với khoảng 200.000 dòng mã. Công nghệ này có thể tự động kiểm chứng các chứng minh và hỗ trợ nghiên cứu, nhưng cũng làm dấy lên lo ngại rằng con người có thể mất đi cơ hội học hỏi khi máy móc giải bài toán quá nhanh.
Tổng hợp
