Jacob Tsimerman, 38 tuổi, cho rằng trí tuệ nhân tạo sẽ sớm vượt qua các nhà toán học con người và có thể giúp tốc độ phát triển ngành toán học nhanh gấp 100 lần. Anh rời sang OpenAI để tập trung làm về an toàn hệ thống.
Những điểm chính:
- Tsimerman dự đoán các hệ thống AI sẽ vượt trội con người trong toán học nghiên cứu, buộc ngành này phải xem lại cách vận hành.
- Anh xin nghỉ tạm thời tại Đại học Toronto nhưng vẫn giữ ghế giáo sư.
- Công việc tại OpenAI tập trung vào an toàn, không phải tăng năng lực mô hình.
Vì sao Jacob Tsimerman chọn OpenAI
Trong bài phỏng vấn công bố hôm thứ Sáu, nhà lý thuyết số của Đại học Toronto mô tả một sự chuyển dịch rõ rệt diễn ra chỉ trong vài tháng gần đây. Theo anh, đầu tiên là các bài toán thi dành cho học sinh trung học bị AI “phá vỡ”, rồi chỉ sau đó vài tháng là đến những kết quả ở tầm nghiên cứu. Những mô hình từng vấp ở câu hỏi sơ cấp giờ có thể đưa ra các chứng minh mà giới toán học chuyên nghiệp cũng phải tự hào nếu là công trình của mình.
Nếu xu hướng này tiếp diễn, anh kỳ vọng AI sẽ trở nên vững vàng và vượt trội con người trong phần lớn công việc mà giới toán học đang làm ngày nay. Khi đó, theo anh, các nhà toán học sẽ buộc phải nghĩ lại toàn bộ cách thức mà ngành hoạt động.
Anh lần đầu công bố quyết định này hôm 23/7, chỉ vài giờ sau khi Liên đoàn Toán học Quốc tế xướng tên anh là một trong bốn người nhận Huy chương Fields năm nay nhờ lời giải cho giả thuyết André–Oort. Giải thưởng này được trao bốn năm một lần cho các nhà toán học dưới 40 tuổi; năm nay còn thuộc về Hong Wang, Yu Deng và John Pardon. Tsimerman xin nghỉ không lương tại khoa toán Toronto nhưng vẫn giữ chức vụ giáo sư, và anh thừa nhận chưa có kế hoạch rõ ràng sau mốc một năm tới.
Xem thêm: Các quỹ ETF Bitcoin hút 233,1 triệu USD khi một quỹ chiếm phần lớn dòng tiền
Terence Tao cảnh báo khủng hoảng trong toán học
Terence Tao cũng phát biểu tại cùng Đại hội ở Philadelphia cuối tuần trước rằng toán học đang bước vào một giai đoạn nhiễu loạn, mà ông mô tả là cuộc khủng hoảng về nền tảng và các giá trị vận hành của ngành.
Ông dẫn thí nghiệm hồi tháng 5, trong đó các mô hình AI hàng đầu đã giải được 7 trong 10 bài toán nghiên cứu chưa công bố, với các chứng minh được chuyên gia phản biện về tính đúng đắn và đánh giá là đủ chuẩn để xuất bản. Tsimerman nhìn thấy mặt tích cực rõ rệt từ sự thay đổi này: mối liên kết chặt hơn giữa toán thuần túy và ứng dụng có thể nén lại những chuỗi công việc vốn kéo dài hàng thập kỷ, nâng sản lượng “toán hữu ích” lên gấp khoảng 100 lần.
Tsimerman ủng hộ đẩy mạnh an toàn AI
Nhiệm vụ chính của anh tại OpenAI sẽ là an toàn, không phải “đẩy sức mạnh” mô hình. Theo anh, năng lực mô hình đang tiến bộ đủ nhanh mà không cần mình, trong khi mảng an toàn còn quá nhiều việc dang dở và thiếu nhân lực.
Định hướng này không phải mới. Năm ngoái, anh cùng Andrew Critch đồng tác giả một báo cáo phân loại các kịch bản tuyệt chủng của loài người do AI gây ra thành năm nhóm, dựa trên câu hỏi ai – nếu có – sẽ phải chịu trách nhiệm trong từng trường hợp.
Tuần này, anh cũng lên tiếng ủng hộ bức thư ngỏ do hơn 1.000 nhân viên tại OpenAI, Anthropic, Google và Meta ký tên, trong đó có CEO Anthropic Dario Amodei, kêu gọi Washington hậu thuẫn một nỗ lực quốc tế nhằm điều tiết nhịp độ phát triển của các hệ thống AI tiên tiến.
Bài tiếp theo: Nhà giao dịch Polymarket đặt 91% khả năng Người Nhện có màn ra mắt lịch sử