Theo báo South China Morning Post ngày 14-8, một bác sĩ phẫu thuật thần kinh tại Bắc Kinh (Trung Quốc) đã bất ngờ chứng minh thành công một giả thuyết toán học tồn tại suốt hai thập kỷ, với sự hỗ trợ của mô hình trí tuệ nhân tạo (AI) mới nhất từ Công ty OpenAI.

Ông Jin Shanmu, hiện là 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 hợp Bắc Kinh, đã giải được giả thuyết Crouzeix - một bài toán khó trong lĩnh vực đại số tuyến tính số học, do nhà toán học người Pháp Michel Crouzeix đề xuất từ năm 2004. 

Giả thuyết này khẳng định 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 giá trị số của ma trận.

Ban đầu, ông Jin không có ý định nghiên cứu toán học chuyên sâu. Ông chỉ muốn giải quyết một vấn đề chuyên môn liên quan đến kỹ thuật siêu âm não, trong quá trình đó tình cờ tiếp cận lĩnh vực phân tích ma trận. 

Với sự hỗ trợ của phiên bản GPT-5.6-Sol chạy liên tục 16 giờ trên nền tảng ChatGPT Work, vị bác sĩ đam mê toán học này đã tìm ra lời giải cho bài toán từng khiến giới chuyên gia toàn cầu đau đầu.

Đáng chú ý, ông Jin chưa từng qua đào tạo bài bản về toán học. Từng theo học ngành địa chất ở bậc đại học trước khi chuyển sang y khoa, kiến thức toán học chính quy của ông 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 đều do tự học.

Đột phá này được công khai sau khi nhà toán học Alex Townsend (Đại học Cornell) và Giáo sư Anne Greenbaum (Đại học Washington) công bố chuỗi email trao đổi với ông Jin. 

Trong hơn một năm, ông Townsend vẫn thường xuyên nhờ các mô hình ChatGPT tìm lời giải cho giả thuyết Crouzeix. 

Đến ngày 30-7, AI dẫn ông đến một bài báo khoa học đăng trực tuyến ba ngày trước đó, trong đó tuyên bố bài toán đã được giải quyết - tác giả chính là ông Jin Shanmu. 

Ông Townsend, ông Greenbaum và cả ông Crouzeix đã xem xét bản thảo và xác nhận phép chứng minh chính xác, dù công trình chưa qua bình duyệt chính thức. Hai nhà toán học nhận định thành tựu này cho thấy năng lực vượt trội của GPT-5.6 chỉ trong vài tuần gần đây.

Sự việc diễn ra trong bối cảnh AI ngày càng đóng vai trò quan trọng trong các đột phá toán học. 

Trước đó, Công ty OpenAI từng công bố một mô hình nội bộ giải được bài toán 80 năm tuổi về khoảng cách đơn vị trên mặt phẳng của nhà toán học Hungary Paul Erdos, cũng như hé lộ 10 bài toán khác mà mô hình thế hệ mới Astra đã giải hoặc đạt tiến triển lớn. 

Về phía Công ty Anthropic, mô hình Claude được cho là đã đạt bước tiến bất ngờ ở một bài toán liên quan đến giả thuyết Riemann, dù chưa giải trọn vẹn.

ChatGPT giảm lỗi chữ méo, sai chính tả khi tạo ảnh

ChatGPT cải tiến khả năng tạo ảnh, giúp chữ hiển thị rõ hơn, giảm lỗi méo và sai chính tả trong poster, banner và hình minh họa.