Mẫn Nhi✔
Admin xinh gái
Trong lúc loay hoay xử lý vấn đề liên quan đến siêu âm xuyên sọ, một bác sĩ phẫu thuật thần kinh tại Bắc Kinh quyết định nhờ ChatGPT hỗ trợ. Kết quả là sau 16 tiếng để AI tự chạy, anh vô tình giải xong câu đố toán học hóc búa đã làm khó giới chuyên gia suốt hai thập kỷ.
Chuyện nghe như một kịch bản phim viễn tưởng: một bác sĩ ngoại khoa không có bằng cấp chuyên sâu về toán học lại vừa giải thành công giả thuyết Crouzeix (Crouzeix’s conjecture) – bài toán đại số tuyến tính số học tồn tại từ năm 2004.
Người tạo nên bất ngờ này là Jin Shanmu, nghiên cứu sinh sau tiến sĩ kiêm bác sĩ nội trú tại Bệnh viện Đại học Y Liên hiệp Bắc Kinh. Đáng nói, công cụ giúp anh làm nên lịch sử không phải một siêu máy tính của viện hàn lâm nào, mà là phiên bản mô hình GPT-5.6-Sol chạy tự động suốt 16 tiếng trên nền tảng ChatGPT Work.
Ảnh: Shutterstock
Suốt hơn một năm qua, Townsend có thói quen liên tục đưa giả thuyết Crouzeix vào các mô hình GPT để thử sức AI. Đến ngày 30/7, mô hình này bất ngờ đưa ra câu trả lời không ai lường trước: nó dẫn thẳng Townsend đến một bài báo vừa được tải lên mạng trước đó đúng ba ngày, tuyên bố bài toán đã được giải quyết. Tác giả bài báo chính là Jin Shanmu.
Townsend, Greenbaum và thậm chí chính nhà toán học người Pháp Michel Crouzeix – người đặt ra giả thuyết – đã trực tiếp xem qua bản thảo. Tất cả đều xác nhận bài chứng minh hoàn toàn chính xác, dù văn bản này vẫn đang chờ quy trình bình duyệt chính thức. Cả hai giáo sư đều phải thừa nhận khả năng của GPT-5.6 đã tiến bộ vượt bậc đến mức kinh ngạc trong thời gian gần đây.
Học vấn của Jin về toán học thực chất rất khiêm tốn. Thời đại học, anh theo học chuyên ngành địa chất trước khi chuyển hướng sang y khoa. Nền tảng toán chính quy của vị bác sĩ này chỉ dừng lại ở các môn đại cương bắt buộc dành cho khối khoa học tự nhiên thời sinh viên. Toàn bộ kiến thức nâng cao còn lại đều do anh tự mày mò nghiên cứu vì đam mê.
OpenAI từng cho biết một mô hình suy luận đa năng nội bộ của họ đã tự giải quyết bài toán khoảng cách đơn vị phẳng 80 năm tuổi do nhà toán học Hungary Paul Erdős đặt ra từ năm 1946. Hãng này cũng liệt kê danh sách 10 bài toán toán học khác mà mô hình tiếp theo mang tên Astra đã giải xong hoặc đạt được bước tiến lớn.
Ở bờ bên kia chiến tuyến, Anthropic cũng tiết lộ phiên bản nghiên cứu chưa phát hành của dòng mô hình Claude đang được thử sức với một trong những bài toán vĩ đại nhất lịch sử toán học: Giả thuyết Riemann.
Chuyện nghe như một kịch bản phim viễn tưởng: một bác sĩ ngoại khoa không có bằng cấp chuyên sâu về toán học lại vừa giải thành công giả thuyết Crouzeix (Crouzeix’s conjecture) – bài toán đại số tuyến tính số học tồn tại từ năm 2004.
Người tạo nên bất ngờ này là Jin Shanmu, nghiên cứu sinh sau tiến sĩ kiêm bác sĩ nội trú tại Bệnh viện Đại học Y Liên hiệp Bắc Kinh. Đáng nói, công cụ giúp anh làm nên lịch sử không phải một siêu máy tính của viện hàn lâm nào, mà là phiên bản mô hình GPT-5.6-Sol chạy tự động suốt 16 tiếng trên nền tảng ChatGPT Work.
Ảnh: Shutterstock
Khi giáo sư hỏi AI và nhận về bài báo của một... bác sĩ
Sự việc chỉ thực sự vỡ lở khi nhà toán học Alex Townsend từ Đại học Cornell cùng Giáo sư Anne Greenbaum từ Đại học Washington công khai câu chuyện trao đổi qua email với vị bác sĩ này.Suốt hơn một năm qua, Townsend có thói quen liên tục đưa giả thuyết Crouzeix vào các mô hình GPT để thử sức AI. Đến ngày 30/7, mô hình này bất ngờ đưa ra câu trả lời không ai lường trước: nó dẫn thẳng Townsend đến một bài báo vừa được tải lên mạng trước đó đúng ba ngày, tuyên bố bài toán đã được giải quyết. Tác giả bài báo chính là Jin Shanmu.
Townsend, Greenbaum và thậm chí chính nhà toán học người Pháp Michel Crouzeix – người đặt ra giả thuyết – đã trực tiếp xem qua bản thảo. Tất cả đều xác nhận bài chứng minh hoàn toàn chính xác, dù văn bản này vẫn đang chờ quy trình bình duyệt chính thức. Cả hai giáo sư đều phải thừa nhận khả năng của GPT-5.6 đã tiến bộ vượt bậc đến mức kinh ngạc trong thời gian gần đây.
Hành trình rẽ ngang của một người mê toán
Giả thuyết Crouzeix phát biểu rằng chuẩn của một hàm ma trận bất kỳ không vượt quá hai lần giá trị cực đại của hàm đó trên miền số của ma trận. Dù mang tính trừu tượng cao, đây lại là bài toán rất quan trọng trong phân tích ma trận. Jin tình cờ chạm mặt bài toán này khi đang nghiên cứu sâu về kỹ thuật siêu âm não xuyên sọ.Học vấn của Jin về toán học thực chất rất khiêm tốn. Thời đại học, anh theo học chuyên ngành địa chất trước khi chuyển hướng sang y khoa. Nền tảng toán chính quy của vị bác sĩ này chỉ dừng lại ở các môn đại cương bắt buộc dành cho khối khoa học tự nhiên thời sinh viên. Toàn bộ kiến thức nâng cao còn lại đều do anh tự mày mò nghiên cứu vì đam mê.
Sân chơi mới của các mô hình trí tuệ nhân tạo
Thành tựu của Jin phản ánh một thực tế rõ nét: các hệ thống AI thế hệ mới đang ngày càng lấn sâu và trực tiếp tạo ra đột phá trong những lĩnh vực học thuật phức tạp nhất.OpenAI từng cho biết một mô hình suy luận đa năng nội bộ của họ đã tự giải quyết bài toán khoảng cách đơn vị phẳng 80 năm tuổi do nhà toán học Hungary Paul Erdős đặt ra từ năm 1946. Hãng này cũng liệt kê danh sách 10 bài toán toán học khác mà mô hình tiếp theo mang tên Astra đã giải xong hoặc đạt được bước tiến lớn.
Ở bờ bên kia chiến tuyến, Anthropic cũng tiết lộ phiên bản nghiên cứu chưa phát hành của dòng mô hình Claude đang được thử sức với một trong những bài toán vĩ đại nhất lịch sử toán học: Giả thuyết Riemann.
