Khi bác sĩ thần kinh bước vào sân chơi toán học thuần túy
Câu chuyện một bác sĩ phẫu thuật thần kinh Trung Quốc dùng ChatGPT để chứng minh 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 trí tuệ nhân tạo đang làm mờ ranh giới giữa chuyên môn truyền thống và nghiên cứu toán học thuần túy, đồng thời đặt lại câu hỏi về việc ai có thể trở thành người tạo ra tri thức mới trong khoa học hiện đại.
Nhân vật trung tâm là bác sĩ Jin Shanmu, nghiên cứu sinh sau tiến sĩ kiêm bác sĩ nội trú tại một bệnh viện đại học y ở Bắc Kinh, vốn tập trung vào phẫu thuật thần kinh và chẩn đoán hình ảnh não. Trong quá trình tìm hướng giải cho một vấn đề kỹ thuật siêu âm não, ông tình cờ chạm tới phân tích ma trận và bài toán giả thuyết Crouzeix, thuộc lý thuyết ma trận và giải tích hàm, liên quan đến mức độ “khuếch đại” giá trị khi một hàm đa thức tác động lên ma trận phức. Từ một câu hỏi gắn với lâm sàng, Jin rẽ sang lĩnh vực toán học thuần túy – vùng đất vốn được xem là “lãnh địa” của các nhà toán học chuyên nghiệp.
Điều gây chấn động không chỉ là việc một người không qua đào tạo toán học bài bản tuyên bố giải được giả thuyết Crouzeix, mà còn ở chỗ ông công khai cho biết mình nhận được sự hỗ trợ của ChatGPT trong suốt quá trình tìm hướng tiếp cận và phát triển lập luận. Sự kiện này buộc cộng đồng khoa học phải đối diện với thực tế: AI chứng minh toán học không còn là viễn cảnh xa xôi, mà đã xuất hiện trong một bài toán cụ thể, có tên, có lịch sử và có cộng đồng theo dõi suốt hai thập kỷ.
ChatGPT trong vai “trợ lý đồng tác giả” của một chứng minh khó
Theo bản tường thuật, Jin Shanmu dùng một phiên bản GPT-5.6-Sol chạy liên tục 16 giờ trên nền tảng ChatGPT Work để hỗ trợ quá trình chứng minh giả thuyết Crouzeix. Điều quan trọng là ChatGPT không tự động “in ra” một chứng minh hoàn chỉnh, mà được dùng như công cụ hỗ trợ tư duy, gợi ý hướng tiếp cận và kết nối các mảnh ghép lý thuyết phức tạp. Đây là ví dụ điển hình cho xu hướng ChatGPT nghiên cứu khoa học: AI đồng hành trong quá trình hình thành ý tưởng, còn con người vẫn chịu trách nhiệm về logic và cấu trúc lập luận.
Trong bản thảo mang tên “The Numerical Range Is a 2-Spectral Set”, đăng trên một nền tảng preprint ngày 27/7/2026, Jin kết hợp định lý hoàn thành thực-dương với toán tử nhân Herglotz giá trị ma trận, tiềm năng hai lớp và đồng nhất thức Stein để thiết lập giới hạn cần thiết, qua đó khẳng định bất đẳng thức trong giả thuyết Crouzeix là chính xác và hằng số 2 là tối ưu. Nói cách khác, đây là một công trình toán học thuần túy, không thể kiểm chứng bằng mô phỏng số đơn giản, mà đòi hỏi chuỗi suy luận trừu tượng – nơi vai trò của AI là hỗ trợ gợi mở, không phải thay thế tư duy.
Thêm một chi tiết đáng chú ý: Jin từng học ngành địa chất trước khi chuyển sang y khoa, và kiến thức toán học chính quy chỉ dừng ở mức cơ bản dành cho khối khoa học tự nhiên, phần còn lại là tự học. Thế nhưng, nhờ kết hợp nền tảng khoa học liên ngành với ChatGPT, ông tuyên bố giải một bài toán đại số tuyến tính từng khiến giới chuyên gia đau đầu từ năm 2004. Điều này mở ra một thông điệp gây tranh cãi: với công cụ AI đủ mạnh, ranh giới “không chuyên” trong nhiều lĩnh vực nghiên cứu có thể bị xóa mờ hơn bao giờ hết.
Cộng đồng toán học: tán dương, nghi ngờ và bài kiểm tra mang tên peer-review
Bản thảo của Jin Shanmu nhanh chóng thu hút sự chú ý của cộng đồng toán học quốc tế, đến mức một nhà toán học đã được AI dẫn thẳng tới bài báo chỉ ba ngày sau khi nó xuất hiện trực tuyến. Chuỗi email trao đổi cho thấy các nhà toán học như Alex Townsend, Anne Greenbaum và chính Michel Crouzeix đã xem xét bản thảo và xác nhận phép chứng minh là chính xác, dù công trình chưa trải qua quy trình bình duyệt chính thức. Đây là một trong những câu chuyện hiếm hoi mà AI góp phần đưa nhà nghiên cứu và cộng đồng chuyên gia gặp nhau quanh một giả thuyết cụ thể.
Tuy vậy, về mặt quy trình khoa học, bản thảo của Jin hiện vẫn chỉ là preprint, chưa được peer-review độc lập. Nền tảng nơi ông đăng tải cũng chủ động cảnh báo rằng tài liệu chưa qua đánh giá đồng cấp. Điều này rất quan trọng: nếu một kết quả toán học muốn được công nhận chính thức, nó phải vượt qua quá trình kiểm tra nghiêm ngặt để bảo đảm tính chính xác tuyệt đối trong từng bước logic. Ở cấp độ biểu tượng, Jin có thể đã “phá băng” giả thuyết Crouzeix, nhưng về mặt thủ tục, đây mới chỉ là bước khởi đầu cho một cuộc kiểm chứng dài hơi.
Chính vì vậy, phản ứng của cộng đồng cũng phân nhánh: một bên xem đây là minh chứng cho khả năng AI chứng minh toán học, bên khác nhấn mạnh rủi ro khi quá phụ thuộc vào công cụ chưa hiểu hết giới hạn. Trường hợp này gợi nhớ các mô hình nội bộ từng giải một bài toán khoảng cách đơn vị trên mặt phẳng hay đạt tiến triển ở giả thuyết Riemann, nhưng tất cả vẫn bị treo trong trạng thái “chờ xác minh”. Điểm mấu chốt là: hào quang AI không thể thay thế quy chuẩn kiểm chứng nghiêm nhặt mà toán học đã xây dựng qua nhiều thế hệ.
Ý nghĩa và rủi ro: AI sẽ làm lại luật chơi trong nghiên cứu thuần túy?
Trường hợp Jin Shanmu cho thấy một mô hình mới: nhà khoa học liên ngành dùng ChatGPT như “máy gia tốc tư duy” để bước vào vùng đất vốn dành cho những chuyên gia kỳ cựu. Ở đây, AI không phải người giải bài, mà là người bạn đồng hành, gợi ý chiến lược, nối các khái niệm và giúp khám phá cấu trúc ẩn – điều đã được chính nghiên cứu của Jin mô tả. Nếu chứng minh của ông vượt qua mọi vòng thẩm định, nó có thể trở thành minh chứng điển hình rằng sự kết hợp giữa tri thức liên ngành và trí tuệ nhân tạo đủ sức giải quyết những bài toán tồn tại hàng thập kỷ.
Nhưng cùng lúc, sự kiện này cũng đặt ra ba câu hỏi khó. Một là tiêu chuẩn ghi nhận đóng góp: khi ChatGPT nghiên cứu khoa học đóng vai trò thiết yếu trong lập luận, đâu là ranh giới giữa tác giả và công cụ? Hai là tiêu chuẩn xác minh: liệu các tạp chí và hội đồng phản biện có cần phát triển quy trình riêng để kiểm tra những chứng minh được hình thành với sự trợ giúp mạnh mẽ của AI? Ba là đào tạo thế hệ mới: nếu một bác sĩ có thể nhờ AI để giải bài toán đại số tuyến tính phức tạp, liệu chương trình đào tạo toán học thuần túy có phải thay đổi để nhấn mạnh hơn vào tư duy khái niệm và đạo đức sử dụng AI, thay vì luyện thuần kỹ thuật?
Điểm đáng mừng là trong câu chuyện này, Jin vẫn giữ vai trò chủ đạo, đứng tên và chịu trách nhiệm về toàn bộ lập luận, thay vì trao quyền cho một “hộp đen” AI. Điều đáng lo là nếu cộng đồng không kịp xây dựng chuẩn mực mới, những trường hợp ít minh bạch hơn sẽ xuất hiện: AI viết, con người ký tên, peer-review không phát hiện kẽ hở và niềm tin vào khoa học bị bào mòn. Bài học từ giả thuyết Crouzeix vì thế không chỉ nằm ở bản thân bài toán, mà ở cách chúng ta cập nhật luật chơi để AI trở thành đồng minh trung thực của tri thức, thay vì là nguồn gây nhiễu cho hệ thống kiểm chứng hiện tại.
