Từ phòng mổ đến bảng đen: câu chuyện định nghĩa lại vai trò của AI
Sự kiện bác sĩ phẫu thuật thần kinh Jin Shanmu tại Bắc Kinh dùng mô hình ChatGPT GPT-5.6-Sol để chứng minh thành công giả thuyết Crouzeix, một bài toán đại số tuyến tính tồn tại hơn 20 năm, cho thấy AI giải toán học đã bước từ vai trò công cụ hỗ trợ sang đối tác trí tuệ trong nghiên cứu khoa học cơ bản, đồng thời mở ra khả năng đột phá liên ngành khi người dùng không cần xuất thân là chuyên gia toán học. Điểm gây sốc không phải ở chỗ một bài toán khó được giải, mà ở việc người giải là một bác sĩ thần kinh, tự học toán, dùng ChatGPT khoa học như một đồng tác giả vô hình. Jin vốn chỉ tìm lời giải cho một vấn đề siêu âm não, tình cờ chạm vào phân tích ma trận và giả thuyết Crouzeix. Sự “lạc bước” này phơi bày thực tế mới: đường biên giữa các ngành đang mờ đi khi AI nghiên cứu khoa học trở thành chiếc cầu nối tri thức mà một cá nhân đơn lẻ khó có thể xây.
Giả thuyết Crouzeix: bài toán 20 năm và một phiên ChatGPT 16 giờ
Giả thuyết Crouzeix, do nhà toán học Pháp Michel Crouzeix đề xuất năm 2004, đặt ra giới hạn cho chuẩn của một hàm ma trận: kết quả không được lớn hơn hai lần giá trị cực đại của hàm đó trên miền giá trị số của ma trận. Nói cách khác, đây là một ràng buộc tinh tế về “độ lớn” khi áp dụng hàm số lên ma trận – một câu hỏi vừa trừu tượng vừa thiết yếu trong đại số tuyến tính và phân tích ma trận. Trong hơn hai thập kỷ, giả thuyết này được cộng đồng toán học quốc tế công nhận là bài toán hấp dẫn nhưng khó, chưa ai chứng minh trọn vẹn. Jin đã chứng minh nó bằng một phiên chạy tự động kéo dài 16 giờ của GPT-5.6-Sol trên nền tảng ChatGPT Work. Câu nói đáng trích dẫn ở đây là: “Một phiên chạy kéo dài 16 giờ trên GPT-5.6-Sol đã giúp Jin hoàn thành chứng minh giả thuyết Crouzeix”. Đây không phải chuyện AI tự phát minh định lý, mà là câu chuyện cộng tác: con người đưa ra hướng tiếp cận, AI xử lý khối lượng suy luận khổng lồ.
Khi bác sĩ tự học toán dùng AI giải bài toán của các giáo sư
Hồ sơ của Jin khiến giới khoa học phải tự soi lại định kiến về “ai xứng đáng giải bài toán lớn”. Ông từng học địa chất trước khi chuyển sang y khoa, nền tảng toán học chính quy chỉ dừng ở các môn cơ bản dành cho khối khoa học tự nhiên; phần còn lại hoàn toàn tự học. Thế mà chính ông, chứ không phải một giáo sư toán lâu năm, lại là người đặt dấu chấm hết cho một giả thuyết kéo dài 20 năm. Trong hơn một năm, nhà toán học Alex Townsend thường xuyên yêu cầu các mô hình GPT tìm lời giải cho giả thuyết Crouzeix. Đến ngày 30-7, AI dẫn ông đến bài báo đăng trực tuyến ba ngày trước, tuyên bố bài toán đã được giải – tác giả là Jin. Townsend, giáo sư Anne Greenbaum và chính Crouzeix đã xem bản thảo và xác nhận chứng minh là chính xác, dù chưa qua phản biện chính thức. Khoảnh khắc này giống như việc các chuyên gia phát hiện “nghiệm đúng” nằm ở ngoài hệ sinh thái quen thuộc – một bác sĩ dùng ChatGPT khoa học để bước vào sân chơi toán học hàn lâm và ghi bàn.
Bước đột phá AI: từ bài toán Crouzeix đến tương lai nghiên cứu cơ bản
Bước đột phá AI trong câu chuyện Jin không xuất hiện trong chân không. Trước đó, một mô hình nội bộ của OpenAI đã giải được bài toán 80 năm tuổi về khoảng cách đơn vị trên mặt phẳng của Paul Erdős, đồng thời hé lộ 10 bài toán khác mà mô hình thế hệ mới Astra đã giải hoặc đạt tiến triển lớn. Ở phía Anthropic, mô hình Claude được cho là đạt bước tiến bất ngờ với một bài toán liên quan đến giả thuyết Riemann, dù chưa giải trọn vẹn. Theo hai nhà toán học Alex Townsend và Anne Greenbaum, thành tựu của Jin cho thấy “GPT-5.6 đã trở nên đáng kinh ngạc đến mức nào chỉ trong vài tuần qua”. Chúng ta đang chứng kiến AI giải toán học không chỉ như một kỹ năng phụ, mà thành trụ cột mới trong nghiên cứu cơ bản. Điều đáng bàn không phải là việc AI có thể tính nhanh hơn người, mà là nó có thể khai phá những vùng ý tưởng mà trước đây phải cần hàng chục năm cộng tác giữa nhiều nhóm nghiên cứu. Khi AI nghiên cứu khoa học bắt đầu được dùng để tìm cấu trúc chứng minh, gợi ý phản ví dụ, so sánh hàng nghìn biến thể lý thuyết trong vài giờ, địa lý tri thức bị nén lại: một bác sĩ ở Bắc Kinh có thể đối thoại trí tuệ với các nhà toán học hàng đầu ở Cornell hay Washington thông qua cùng một mô hình.
AI là đồng tác giả hay chiếc máy tính siêu cấp?
Câu hỏi lớn sau đột phá này là: chúng ta nên xem AI như gì trong nghiên cứu toán học – công cụ, đồng tác giả hay “đồng nghiệp vô danh”? Đột phá của Jin được công khai qua chuỗi email giữa ông và các nhà toán học, rồi nhanh chóng gây chấn động giới khoa học, không chỉ vì năng lực vượt trội của GPT-5.6 mà còn vì cách nó đảo vai truyền thống giữa con người và máy. Sự việc diễn ra trong bối cảnh AI ngày càng đóng vai trò quan trọng trong các đột phá toán học. Một lập luận hợp lý là: AI hiện giống như chiếc máy tính siêu cấp của thế kỷ mới – nó không tự nảy sinh vấn đề, nhưng có thể đẩy khả năng xử lý và gợi ý chứng minh lên mức con người khó theo kịp. Tuy vậy, khi một bác sĩ tự học dùng bước đột phá AI để giải bài toán được giới toán học quốc tế theo đuổi suốt 20 năm, ta buộc phải thừa nhận rằng vai trò sáng tạo đang trở nên lai: ý tưởng đến từ con người, nhưng đường đi cụ thể cần đến khả năng suy luận ở quy mô mà chỉ AI có thể cung cấp. Kết luận thực tế là: nếu coi AI giải toán học như đối thủ, chúng ta sẽ bị bỏ lại phía sau; nếu coi nó như đồng tác giả, chúng ta có cơ hội mở rộng biên giới kiến thức nhanh hơn bất kỳ thời kỳ nào trước đây. Câu chuyện Jin Shanmu không phải ngoại lệ hiếm hoi, mà là tín hiệu sớm cho một kỷ nguyên nơi mỗi nhà nghiên cứu – dù là bác sĩ, kỹ sư hay sinh viên – đều có thể dùng ChatGPT khoa học để chạm tay vào những bài toán từng được xem là chỉ dành cho giới tinh hoa.
