Vừa rồi, cộng đồng toán học dậy sóng.
Một giả thuyết trọng tâm đã hành hạ các nhà toán học hàng đầu toàn cầu suốt 22 năm, cuối cùng lại được một bác sĩ phẫu thuật thần kinh tại Bệnh viện Hiệp Hòa giải quyết?
Thông qua việc tự học toán, dùng ChatGPT 5.6 tự chạy trong 16 giờ, ông đã chấm dứt vụ án bí ẩn toán học kéo dài 22 năm này. Điều này thật quá huyền bí.
Ngày 30 tháng 7 năm 2026, Giáo sư Alex Townsend của khoa Toán Ứng dụng, Đại học Washington, Mỹ, như thường lệ, đã mở arXiv.
Trong suốt một năm trước đó, Townsend gần như hình thành thói quen mang tính ám ảnh: định kỳ ông lại hỏi GPT 5.6, cố gắng bắt nó chứng minh vụ án nổi tiếng trong lĩnh vực đại số tuyến tính số học - Giả thuyết Crouzeix.
Trong hàng trăm lần thử trước đây, câu trả lời của AI hoặc là đầy lỗ hổng logic, hoặc là mắc kẹt khi cố vượt qua một bổ đề then chốt nào đó. Con người đã đâm đầu vào bức tường này suốt 22 năm, và AI dường như cũng không thông minh hơn con người là mấy.
Tuy nhiên, ngày hôm đó, Giả thuyết Crouzeix đã hành hạ giới đại số tuyến tính số học suốt 22 năm, cuối cùng đã được chứng minh.
Tác giả không phải là nhà toán học, mà là một bác sĩ nội trú phẫu thuật thần kinh tại Bệnh viện Hiệp Hòa Bắc Kinh, Shanmu Jin.
Ông không có nền tảng chính quy về toán học cao cấp, đại học học ngành địa chất, sau đó lấy bằng tiến sĩ y khoa, trợ thủ duy nhất của ông chính là GPT-5.6.
GPT-5.6 trong một lần tự chạy khoảng 16 giờ đã giải quyết bài toán hóc búa này, toàn bộ quá trình không có sự can thiệp của con người.
Hơn nữa, trong danh sách người xác minh, có chính Michel Crouzeix - người 22 năm trước đã tự mình đưa ra bài toán này, giờ đây tự mình đóng dấu, tuyên bố nó đã được giải quyết.
Townsend và Greenbaum cũng đều là chuyên gia trong lĩnh vực này, sau khi xem xong quá trình giải, họ chỉ có hai từ để diễn tả cảm giác của mình: "Sốc".
Khi một bác sĩ nội trú Hiệp Hòa tự học toán
Nhân vật chính của câu chuyện tên là Kim Sơn Mộc (Shanmu Jin), là một nhà nghiên cứu sau tiến sĩ kiêm bác sĩ nội trú phẫu thuật thần kinh tại Bệnh viện Hiệp Hòa Bắc Kinh.
Lý lịch của ông không hề liên quan gì đến toán học.
Chuyên ngành đại học của ông là địa chất học, sau đó chuyển ngành học y, cuối cùng lấy được bằng tiến sĩ y khoa. Toàn bộ nền giáo dục toán học ông từng nhận chỉ là các môn cơ bản mà sinh viên khoa học thông thường phải học.
"Ngoài ra, tất cả kiến thức toán học đều do tôi tự học." Trong email gửi cho tác giả bản thảo gốc (Alex Townsend và Anne Greenbaum), bác sĩ Kim viết một cách nhẹ nhàng.
Một bác sĩ phẫu thuật thần kinh, tại sao lại đi 'cắn' giả thuyết toán học hóc búa?
Tất cả bắt nguồn từ một điểm đau trong nghiên cứu lâm sàng và khoa học của bác sĩ Kim: nghiên cứu siêu âm xuyên sọ.
Khi cố gắng dùng sóng siêu âm xuyên qua cấu trúc xương sọ phức tạp của con người, ông đâm đầu vào lĩnh vực rộng lớn "phân tích ma trận". Trong quá trình tự học, ông tình cờ lướt qua cái tên vang dội trong giới đại số tuyến tính số học - Giả thuyết Crouzeix.
Cách diễn đạt của giả thuyết này cực kỳ ngắn gọn, và hình thái trực quan hình học về "miền số trị" phía sau nó có tính thẩm mỹ cao. Sự ngắn gọn và đẹp đẽ tột bậc này đã thu hút sâu sắc người xuyên ngành này.
Ông quyết định thử một lần. Không phải dùng suy luận truyền thống với giấy bút, mà là dùng mô hình lớn.
"Hằng số ma quỷ" hành hạ giới toán học suốt 22 năm
Tại sao các nhà toán học này lại sốc như vậy? Trước tiên chúng ta cần biết, Giả thuyết Crouzeix khó đến mức nào.
Trong toán ứng dụng hiện đại và tính toán kỹ thuật, ma trận (Matrix) là ngôn ngữ phổ quát mô tả sự vận hành của vạn vật.
Từ sự chồng chất trạng thái trong cơ học lượng tử, đến thuật toán PageRank của Google Search, cho đến việc lặp tham số quy mô siêu lớn khi huấn luyện mô hình ngôn ngữ lớn ngày nay, về bản chất đều là phép chiếu và biến đổi của các ma trận khổng lồ trên mặt phẳng phức.
Tuy nhiên, hành vi của ma trận không chuẩn tắc (Non-normal Matrices) cực kỳ kỳ lạ, chúng giống như một đám thú dữ nóng nảy, không thể đoán trước.
Để thuần phục chúng, nhà toán học Pháp Michel Crouzeix vào năm 2004 đã đề xuất một giả thuyết tuyệt đẹp, có tính trực quan hình học cao:
Với đa thức p bất kỳ trên mặt phẳng phức và ma trận A bất kỳ, chuẩn phổ của nó luôn có thể bị chặn bởi giá trị lớn nhất của nó trên "miền số trị" W(A).
Và hằng số tối ưu giữa hai thứ này, chính xác là 2.
Biểu diễn dưới dạng hình thức hóa là:
Bất đẳng thức này cực kỳ quan trọng trong giới toán ứng dụng.
Nếu nó đúng, chúng ta có thể chuyển đổi trực tiếp sai số xấp xỉ vô hướng trên mặt phẳng phức thành cận chuẩn của hàm ma trận. Điều này có ý nghĩa quyết định đối với việc phân tích hàm ma trận, phương pháp lặp GMRES cũng như các phương pháp không gian con Krylov, v.v.
Tuy nhiên, "chứng minh hằng số này là 2" đã trở thành cơn ác mộng của vô số nhà toán học.
Nhưng cánh cửa dẫn đến hằng số "2", vẫn đóng chặt. Cho đến ngày 30 tháng 7 năm 2026.
Năm 2007, chính Crouzeix đã dốc hết tâm sức, cũng chỉ chứng minh được bất đẳng thức này đúng khi hằng số là 11.08.
Mười năm sau, vào năm 2017, Viện Nghiên cứu Toán học Mỹ (AIM) thậm chí còn tổ chức một hội thảo chuyên đề kéo dài một tuần tại San Jose, tập hợp các chuyên gia hàng đầu toàn cầu, thảo luận về các con đường lý thuyết, bằng chứng số học, mở rộng ma trận và các vũ khí khác. Cuối cùng, Crouzeix cùng cộng tác viên Palencia đã giảm hằng số phổ quát này xuống 2.414.
Kể từ đó, bộ công cụ toán học của nhân loại dường như đã cạn kiệt giọt dầu cuối cùng.
Cho đến mùa hè này, một "người ngoài cuộc" cầm dao mổ đã xông vào.
Chỉnh sửa "từ khóa thần thánh", ChatGPT chạy bán sống 16 giờ
Một bác sĩ nội trú phẫu thuật thần kinh Hiệp Hòa với lịch trình lâm sàng cực kỳ vất vả, đã làm thế nào để đạt được điều này?
Bí mật nằm ở kỹ thuật tạo từ khóa (Prompt Engineering).
Bác sĩ Kim không xem AI như một cỗ máy hỏi đáp đơn giản, mà biến nó thành một viện nghiên cứu toán học ảo khổng lồ.
Ông mượn và chỉnh sửa từ khóa nổi tiếng mà OpenAI đã sử dụng khi tấn công Giả thuyết Cycle Double Cover, bố trí một cục diện có tầm nhìn chiến lược cao:
Ngắt mạng vật lý (tước bỏ phụ thuộc bên ngoài): Từ khóa rõ ràng cắt đứt quyền truy cập của hệ thống vào mạng ngoài công khai và các ngữ cảnh bên ngoài khác. Ông không muốn AI đi "đạo văn" những ý tưởng cũ thất bại trong lịch sử nhân loại từ công cụ tìm kiếm, mà buộc nó phải suy nghĩ thuần túy sáng tạo xuất phát từ tiên đề.
Đa nhánh và tư duy phân kỳ (từ chối hội tụ sớm): Ông yêu cầu ChatGPT khởi động một lượng lớn "tác nhân con", để chúng thám hiểm theo những con đường thực sự khác biệt. Trong chỉ dẫn nghiêm khắc cảnh báo: Không được quá sớm hội tụ về một hướng tư duy có vẻ hấp dẫn!
Kiểm toán đối kháng tàn khốc (chế độ nuôi sâu): Các chiến lược chứng minh ứng cử viên phải được đặt liên tục dưới sự kiểm tra đối kháng. Chỉ khi các tác nhân thông minh khác thành công tìm ra phản ví dụ, một con đường mới bị loại bỏ hoàn toàn.
Quyết tâm cố chấp đến cùng: Từ khóa ban hành mệnh lệnh tử: tuyệt đối không được từ bỏ cho đến khi có được một bản chứng minh hoàn chỉnh có thể chịu được sự kiểm tra logic cực đoan.
Sau khi thiết lập tất cả điều này, bác sĩ Kim nhấn phím Enter, rồi quay đi làm việc khác, toàn bộ quá trình sau đó không can thiệp thêm.
Trong chế độ ChatGPT Work, GPT-5.6 Sol giống như một con thú số khổng lồ không biết mệt mỏi, liên tục chạy bán sống trong biển sâu toán học khoảng 16 giờ.
Trong 16 giờ này, AI đã trải qua hàng chục nghìn lần giả định, lật đổ, xây dựng lại, cuối cùng đã chứng minh thành công.
Khi các nhà toán học nhìn thấy định lý này, họ vô cùng choáng váng: AI không sử dụng cách ước lượng cứng nhắc và cực kỳ phức tạp như con người dự đoán, mà thông qua một "chiến lược lấy mẫu" khéo léo đến mức khiến người ta vỗ bàn thán phục, đã giản hóa nó thành một "điều kiện dương tính (positivity condition)" đơn giản đến bất ngờ.
Điều này giống như con người luôn cố dùng sức mạnh thô bạo để đẩy một cánh cửa sắt lớn, còn AI chỉ tìm đúng một điểm chịu lực cực kỳ nhỏ trong khe cửa, nhẹ nhàng khều một cái, cửa mở ra, đúng là đòn đánh hạ chiều.
Bác sĩ Kim khiêm tốn cho biết, việc tìm ra ý tưởng then chốt này "chắc chắn có yếu tố may mắn". Nhưng tất cả mọi người đều biết, cơ hội chỉ dành cho người đã thiết kế la bàn hoàn hảo.
Đáng khâm phục hơn nữa, bác sĩ Kim đã hoàn toàn mở nguồn quá trình này. Trong kho lưu trữ GitHub của ông không chỉ có bài báo cuối cùng, mà còn có đoạn từ khóa thần thánh, các bản thảo lặp lại qua các lần, mã chứng minh hình thức hóa Lean 4 và báo cáo kiểm toán tiên đề. Tất cả đều dưới ánh sáng mặt trời, chấp nhận sự kiểm tra của toàn nhân loại.
Địa chỉ mã nguồn mở: https://github.com/jinshanmu/CrouzeixConjecture
Bản in trước: https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub
Bản chứng minh thứ hai sau tám ngày, sự chấn động của giới toán học
Ban đầu, đối mặt với bản in trước xuất hiện đột ngột này, các nhà toán học hàng đầu đã xem xét với thái độ nghi ngờ. Xét cho cùng, "người ngoài cuộc tuyên bố giải quyết giả thuyết tầm cỡ thế giới" trong giới toán học thường là một trò hề.
Nhưng chỉ vài giờ sau, sự nghi ngờ của Alex Townsend và Anne Greenbaum đã biến thành sốc, cuối cùng hóa thành thán phục - "Lập luận này thực sự đúng!"
Sau đó, chính người đề xuất Giả thuyết Crouzeix, nhà toán học nổi tiếng Michel Crouzeix cũng đích thân tham gia, từng dòng từng dòng nghiên cứu kỹ lưỡng bản chứng minh này.
Cuối cùng, một tiếng vang quyết định: Bản thảo của bác sĩ Kim là chính xác. Vụ án bí ẩn 22 năm, hoàn toàn chấm dứt.
Tuy nhiên, trận động đất học thuật do AI gây ra mới chỉ bắt đầu.
Chỉ 8 ngày sau khi bản in trước của bác sĩ Kim được công bố (ngày 4 tháng 8), hai nhà toán học khác là Emiel Lorist và Felix Schwenninger đột nhiên công bố một bản chứng minh độc lập chỉ có 5 trang giấy!
Tiêu đề: A SOLUTION TO CROUZEIX’S CONJECTURE
Bản in trước: https://arxiv.org/pdf/2608.03841
Bản chứng minh 5 trang giấy này có hướng tiếp cận hoàn toàn khác với bác sĩ Kim, nó cực kỳ ngắn gọn súc tích, kết hợp biểu diễn thế kép cổ điển với bổ đề nhiễu loạn về 2-mở rộng.
Đối với các nhà toán học truyền thống, cách chứng minh này phù hợp hơn với thói quen nhận thức vốn có của con người, trở nên "thân thiện" hơn.
Trùng hợp là: Lorist và Schwenninger thừa nhận, khi họ khám phá chiến lược chứng minh, cũng đã sử dụng ChatGPT 5.6.
Một bài toán khó 22 năm không ai giải được, dưới sự hỗ trợ của AI, chỉ cách nhau 8 ngày, đã xuất hiện hai bản chứng minh hoàn toàn khác biệt nhưng đều tinh tế như nhau!
Sau khi biết chuyện này, bác sĩ Kim không những không bực bội vì "bị cướp mất hào quang", mà trái lại còn cảm thấy vui mừng thuần túy, ông cho rằng đây là một sự bổ sung thú vị cho phương pháp của mình.
Bình minh của thời đại hoàng kim
Vào mùa hè năm 2026 này, bánh xe lịch sử lặng lẽ chuyển động.
Trong lịch sử toán học, không thiếu những bác sĩ đạt được thành tựu toán học quan trọng, nhưng tất cả đều là thiên tài từng được đào tạo toán học chuyên môn thời đó.
Đây có thể là giả thuyết đầu tiên lâu năm chưa giải quyết được, bị một bác sĩ không được đào tạo toán học chuyên môn, nhờ sự hỗ trợ của AI giải quyết triệt để.
Chỉ mới vài năm trước, việc tưởng tượng một hệ thống AI có thể đóng góp "ý tưởng chứng minh mang tính quyết định" trong một giả thuyết lớn, quả là chuyện viển vông.
Nhưng giờ đây, nó đã thực sự xảy ra.
Điều này giống như hai bước nhảy vọt trong lịch sử thiên văn học.
Lần thứ nhất, là các nhà thiên văn học phải kéo vai mang vác để tính toán dữ liệu quỹ đạo, chỉ có số ít thần đồng mới có thể nhìn thấu bầu trời sao. Lần thứ hai, chính là Galileo chế tạo ra kính viễn vọng.
Đây không còn nghi ngờ gì nữa là khởi đầu của "Thời đại hoàng kim" trong toán ứng dụng và thậm chí toàn bộ giới khoa học. Việc phát hiện khoa học sẽ được đẩy nhanh chưa từng có, rào cản giữa các ngành học khác nhau sẽ dễ dàng bị AI phá vỡ.
Nhưng đồng thời, điều này cũng có nghĩa là một sự tái định hình danh tính. Khi sức mạnh tính toán khổng lồ bắt đầu tiếp quản việc suy luận, khi một bác sĩ phẫu thuật thần kinh cũng có thể hái được viên ngọc quý trên vương miện toán học sau giờ phẫu thuật, định nghĩa "trở thành một nhà toán học" hay "trở thành một nhà khoa học" đang trải qua một sự rạn nứt và tái sinh dữ dội.
Tương lai đã đến. Cầm chiếc kính viễn vọng AI này, bạn đã nghĩ sẽ nhắm vào vùng trời sao nào chưa?
Tài liệu tham khảo:
https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf
https://www.preprints.org/manuscript/202607.1919
https://aimath.org/pastworkshops/crouzeix.html
Bài viết này đến từ tài khoản WeChat công chúng "Tân Trí Nguyên", tác giả: ASI Khải thị lục, biên tập: Đại Vệ
