Nhân vật được nhắc đến là Jin Shanmu, hiện công tác tại Bệnh viện Liên hiệp Bắc Kinh. Ban đầu, ông chỉ tìm cách giải một vấn đề liên quan đến siêu âm não, nhưng lại vô tình tiếp cận và chứng minh thành công giả thuyết Crouzeix trong lĩnh vực đại số tuyến tính số.
Giả thuyết này do nhà toán học Pháp Michel Crouzeix đề xuất từ năm 2004, và đã khiến nhiều chuyên gia trên thế giới bế tắc suốt 2 thập kỷ. Jin sử dụng mô hình AI tiên tiến ChatGPT, cụ thể là phiên bản GPT-5.6-Sol, chạy liên tục trong 16 giờ để hỗ trợ quá trình tìm lời giải.
Kết quả nghiên cứu nhanh chóng thu hút sự chú ý của cộng đồng học thuật, khi các nhà toán học như Alex Townsend và Anne Greenbaum xác nhận tính đúng đắn của chứng minh, dù công trình chưa qua phản biện chính thức.
Thành tựu này đặc biệt gây chú ý khi Jin không có nền tảng đào tạo chuyên sâu về toán học, mà chủ yếu tự học. Giới chuyên gia nhận định đây là minh chứng rõ nét cho vai trò ngày càng lớn của AI trong thúc đẩy các đột phá khoa học, nhất là ở những bài toán phức tạp từng được xem là ngoài tầm với.
