10/06/2026
A.I. thay đổi Toán thế nào?
Phần 1 - Tác giả Wilkins thử giải 1 bài toán trong lĩnh vực number theory, với hành trang là 1 ít kiến thức physics + không có nền tảng maths + “thần đèn” GPT 5.5 Pro. Bối cảnh là thời gian ngắn gần đây các nhà toán học đã chuyển từ ngờ vực khả năng làm toán của A.I. sang đến sửng sốt và còn lo ngại A.I. sẽ làm thay quá nhiều việc của nhà toán học!
_ _ _
Phần 2 - Trong hội nghị về A.I. trong toán, có nhiều sự háo hức và tò mò, nhưng cũng có rất nhiều EXISTENTIAL DREAD. Avigad cho rằng A.I. có thể sẽ chứng minh định lý toán tốt hơn người. Terence Tao (nhân vật trong kỳ thi toán quốc tế huyền thoại năm 1988) dự đoán A.I. sẽ giúp tìm ra “proof” nhiều hơn và các nhà toán học thay vì đua nhau giải được bài toán mới thì bây giờ phải đua xem ai hiểu được cách giải của A.I. trước!
_ _ _
Phần 3 - Sau khi GPT và Gemini đều giải được 5 bài toán trong đề thi toán quốc tế, các nhà toán học dần thức tỉnh về viễn cảnh mới. Thomas Bloom mở website để mọi người cùng giải các bài toán của Erdos - và Bloom liên tục bất ngờ về các lời giải đến từ khắp nơi, trong đó nhiều người không làm trong lĩnh vực toán (amateurs and novices).
_ _ _
Phần 4 - Sau khi nhóm của Vakil và Feng giải được các bài toán nhờ AI nhìn ra hướng đi mới (bị bỏ qua bởi humans), OpenAI giải được thêm bài nữa mà dùng general-purpose AI (không phải AI chuyên giải toán) - điều này làm các nhà toán học sững sờ (STUNNED DISBELIEF)! Các nhà toán học bây giờ có thể bắt tay vào giải các bài toán mà trước đây khi nghĩ đến thời lượng quá lớn phải bỏ ra thì có thể họ đã từ bỏ ngay từ đầu.
_ _ _
Phần cuối - Tác giả nhận được bài chứng minh từ GPT và có vẻ sắp đi vào lịch sử, nhưng khi hỏi lại người có biết về toán thì hóa ra phần đó đã được giải quyết từ lâu! Sự khác biệt giữa nhà toán học và người ngoài vẫn rất lớn - - > tương lai vẫn còn chỗ cho các chuyên gia - đôi khi ta cần họ để hiểu chuyện gì xảy ra trong lời giải của AI…
Lời kết: Trước đây người làm toán là người vùi đầu vào sách vở/nghiên cứu trong bao nhiêu năm, bây giờ có thể là anyone with $200/month to spare and some positive vibes to gently nudge the AI models into carrying on with the solutions. Vẫn cần các nhà toán học để hiểu lời giải & lựa chọn bài toán nào đáng để làm.
The future might not be humans VERSUS AI. It’s humans PLUS AI - with humans increasingly sliding into the role of… quality control…(?)
