Bác sĩ phẫu thuật thần kinh Trung Quốc giải bài toán 22 năm chỉ nhờ chạy ChatGPT 16 tiếng

Cuối tháng 7 năm 2026, một bài toán mở suốt 22 năm trong lĩnh vực đại số tuyến tính số đã được giải quyết – không phải bởi một giáo sư thực thụ tại đại học danh tiếng, mà bởi một bác sĩ nội trú phẫu thuật thần kinh tại Bắc Kinh. Anh ta chỉ cài đặt một prompt, rời khỏi máy tính, và 16 tiếng sau quay lại để thấy GPT-5.6-Sol đã tự mình tìm ra chứng minh .

Tiến sĩ Jin Shanmu, nghiên cứu sinh sau tiến sĩ kiêm bác sĩ nội trú khoa phẫu thuật thần kinh tại Bệnh viện Đại học Y Bắc Kinh (Peking Union Medical College Hospital), đã sử dụng mô hình GPT-5.6-Sol của OpenAI trên nền tảng ChatGPT Work để tự động tạo ra một chứng minh hoàn chỉnh cho giả thuyết Crouzeix . Bài toán này do nhà toán học người Pháp Michel Crouzeix đưa ra vào năm 2004, đã thách thức các nhà phân tích số hàng đầu thế giới suốt hơn hai thập kỷ.

Bài toán mà không ai giải nổi

Giả thuyết Crouzeix phát biểu rằng: với mọi ma trận vuông phức A và đa thức p, chuẩn toán tử ||p(A)|| không vượt quá hai lần giá trị lớn nhất của |p| trên miền trị số (numerical range) của A. Kết quả tốt nhất trước đó là 1+√2 (khoảng 2,414), đạt được từ một hội thảo năm 2017 tại Viện Toán học Mỹ, nơi các chuyên gia hàng đầu không thể thu hẹp khoảng cách đến hằng số chính xác là 2 .

Bài toán nằm ở giao điểm giữa lý thuyết ma trận và giải tích hàm trong đại số tuyến tính số – một câu hỏi nền tảng nhưng rất chuyên sâu, đã kháng cự suốt hai thập kỷ nỗ lực của các chuyên gia dành cả sự nghiệp cho nó.

Từ siêu âm não đến đột phá toán học

Jin không có ý định làm nên lịch sử toán học. Anh đang nghiên cứu siêu âm xuyên sọ – mô hình hóa cách sóng siêu âm xuyên qua hộp sọ – và điều này đã đưa anh đến phân tích ma trận, và cuối cùng là giả thuyết Crouzeix . Toàn bộ kiến thức toán cao cấp của anh là tự học thông qua nghiên cứu siêu âm. Anh tốt nghiệp đại học ngành địa chất tại Đại học Bắc Kinh, và lấy bằng y khoa tại Đại học Y Bắc Kinh. Anh không có đào tạo chính quy về toán cao cấp .

Cuộc chạy tự kéo dài 16 tiếng

Jin đã điều chỉnh chiến lược prompt mà OpenAI từng sử dụng khi giải giả thuyết Cycle Double Cover. Anh thiết kế một hệ thống đa tác tử mang tính đối kháng với bốn chỉ dẫn :

1. Làm việc ngoại tuyến: Mô hình hoạt động trong môi trường bị cắt kết nối vật lý, ngăn nó lấy các chứng minh hoặc giải pháp có sẵn từ web.
2. Khám phá song song: Hệ thống sinh ra nhiều tác tử con, mỗi tác tử khám phá các chiến lược chứng minh thực sự khác nhau, tránh hội tụ quá sớm vào một cách tiếp cận duy nhất.
3. Kiểm toán đối kháng: Các chứng minh dự kiến phải chịu các kiểm tra đối kháng, buộc mô hình phải tìm và sửa lỗi của chính nó.
4. Không dừng sớm: Hệ thống được hướng dẫn không dừng lại cho đến khi một chứng minh hoàn chỉnh vượt qua tất cả các kiểm tra.

Jin khởi động hệ thống và bỏ đi. Sau khoảng 16 tiếng hoạt động liên tục – trong đó GPT-5.6-Sol thực thi hàng nghìn chu kỳ sinh tạo, kiểm tra giả thuyết, bác bỏ và xây dựng lại – nó đã tạo ra một chứng minh hoàn chỉnh .

Thay vì những ước lượng nặng nề mà các chuyên gia kỳ vọng, lập luận này sử dụng một chiến lược lấy mẫu cẩn thận để thu gọn bài toán thành một điều kiện dương tính đơn giản . Theo những người đã xem xét, đó là một cách tiếp cận tao nhã và bất ngờ.

Xác nhận từ các chuyên gia

Nhà phân tích số Alex Townsend của Đại học Cornell đã dành cả năm trước đó thường xuyên yêu cầu ChatGPT tấn công giả thuyết Crouzeix, và luôn thấy nó mắc kẹt ở cùng một bổ đề còn thiếu . Vào ngày 30 tháng 7 năm 2026, ông hỏi lại – nhưng lần này, ChatGPT trả về một liên kết đến bản in trước (preprint) đăng ngày 27 tháng 7, tựa đề "The Numerical Range Is a 2-Spectral Set" .

Townsend và Anne Greenbaum của Đại học Washington đã xem xét bản in trước với thái độ hoài nghi. Sau vài giờ, họ kết luận chứng minh là đúng . Chính Michel Crouzeix – nhà toán học đã đặt ra giả thuyết 22 năm trước – cũng đã xem xét bản thảo và xác nhận tính chính xác của nó .

Mã nguồn mở và xác minh độc lập

Jin đã mã nguồn mở toàn bộ quy trình nghiên cứu của mình, công bố trên GitHub bài báo cuối cùng, prompt chính xác, tất cả các bản thảo kế tiếp, mã hóa hình thức Lean 4 của chứng minh, và một báo cáo kiểm định tiên đề .

Đáng chú ý, tám ngày sau khi bản in trước của Jin xuất hiện, một chứng minh độc lập riêng biệt của Emiel Lorist và Felix Schwenninger – những người cũng đã sử dụng ChatGPT 5.6 để khám phá chiến lược – đã được đăng trên arXiv, xác nhận độc lập kết quả .

Ý nghĩa đối với AI và khoa học

Câu chuyện về chứng minh của Jin đáng chú ý vì nhiều lý do. Nó cho thấy một người không phải chuyên gia, không có đào tạo chính quy trong một lĩnh vực, vẫn có thể tạo ra đóng góp thực sự cho một bài toán làm khó các chuyên gia cả đời, bằng cách thiết kế quy trình tự động phù hợp cho một mô hình AI tiên tiến. Nó cũng chứng minh sức mạnh của các hệ thống suy luận tự động được thiết kế tốt: Jin không sử dụng AI như một công cụ tìm kiếm hay chatbot – anh thiết kế một hệ thống có thể tự khám phá, kiểm tra và tinh chỉnh công việc của nó trong nhiều giờ mà không cần can thiệp của con người .

Bài toán này không phải một trò chơi hay câu đố; nó là một bài toán mở suốt 22 năm, với chứng minh đã được xem xét và chấp nhận bởi chính người đặt ra bài toán, cùng với các chuyên gia hàng đầu trong lĩnh vực .