Nội dung chính
Quyết định bất ngờ của một trong những nhà toán học hàng đầu thế giới
Ken Ono, giáo sư 57 tuổi của Đại học Virginia, đã từ bỏ vị trí giảng viên để gia nhập startup AI Axiom Math do cựu sinh viên Carina Hong sáng lập.
Từ hoài nghi AI tới hợp tác thực tiễn
Trước đây, ông Ono tự nhận mình thuộc trường phái “trí tuệ tự nhiên” và cho rằng AI chỉ là “bị thổi phồng”. Tuy nhiên, sau khi chứng kiến khả năng suy luận và chứng minh toán học của các mô hình AI thế hệ mới, ông đã dành 1‑2 giờ mỗi ngày để “trò chuyện” với AI, nhận ra tiềm năng cách mạng trong việc làm toán.
Ông thừa nhận: “Khoảng cách giữa tôi và các mô hình đang thu hẹp” sau khi tham gia nhóm chuyên gia xây dựng bộ bài toán kiểm thử AI năm ngoái.
Axiom Math: Sứ mệnh xây dựng “nhà toán học AI”
Startup do Carina Hong, 24 tuổi, thành lập với vốn gọi được 64 triệu USD và sự ủng hộ của các nhà nghiên cứu AI từ Meta, đặt mục tiêu tạo ra hệ thống có khả năng suy luận, đưa ra vấn đề mới và tự kiểm chứng bằng chứng minh hình thức. Các nhà đầu tư tin rằng một “siêu trí tuệ toán học” sẽ tạo đột phá trong kiểm định phần mềm, logistics, giao dịch thuật toán và tài chính định lượng.
Hành trình khác thường của Ken Ono
Ken Ono sinh ra trong gia đình người Nhật di cư sang Mỹ sau Thế chiến II. Dù có năng khiếu, ông từng bỏ học trung học vì áp lực, rồi được nhận vào Đại học Chicago dù không có bằng tốt nghiệp trung học – một câu chuyện tương đồng với thiên tài Ramanujan. Sau đó, ông học cao học tại UCLA dưới sự hướng dẫn của giáo sư Basil Gordon, và giảng dạy tại Wisconsin, Emory và Virginia. Trong suốt sự nghiệp, ông đã đào tạo 10 sinh viên đoạt Giải Morgan, trong đó có Carina Hong.
Lý do rời giảng đường
Ono không chỉ vì AI mà còn vì áp lực ngày càng tăng từ chính trị, ngân sách nghiên cứu và các yêu cầu phi học thuật khiến ông ít thời gian dành cho toán học – niềm đam mê lớn nhất của mình. “Đây là cơ hội để góp phần thay đổi cách thế giới vận hành. Với một nhà toán học thuần túy, điều đó hiếm khi xảy ra”, ông chia sẻ.
CEO trẻ Carina Hong: Từ sinh viên xuất sắc tới nhà sáng lập
Carina Hong sinh ra tại Trung Quốc, tự học tiếng Anh và từng dự Olympic Toán. Cô tốt nghiệp MIT trong 3 năm, giành Giải Morgan danh giá, nhận học bổng Rhodes và theo học tiến sĩ kép Toán‑Luật tại Stanford. Trước khi thành lập Axiom, cô đã huy động 64 triệu USD vốn và thu hút các tài năng AI từ Meta.
Tại Axiom, Hong muốn xây dựng một hệ thống AI thực sự hiểu bản chất toán học, không chỉ bắt chước lời giải. Ken Ono sẽ tham gia với vai trò “nhà toán học sáng lập”, thiết kế các bài toán mới và xây dựng chuẩn đánh giá khả năng lập luận của mô hình.
“Ken Ono là thần tượng của rất nhiều sinh viên toán”, Hong nói.
Nhìn về tương lai
Dù đang làm việc trong lĩnh vực AI, Ono khẳng định bản chất của mình không thay đổi: “Kể cả khi thế giới đạt tới siêu trí tuệ, vẫn sẽ có những bài toán chưa ai giải được. Và tôi sẽ vẫn tiếp tục đi tìm lời giải.”