Quyết định bất ngờ: rời Đại học Virginia

Giáo sư Ken Ono, một trong những nhà toán học hàng đầu thế giới, đã tạm nghỉ giảng dạy tại Đại học Virginia để tham gia vào startup AI Axiom Math do cựu sinh viên 24 tuổi của ông sáng lập.

The Wall Street Journal báo cáo, vào tuổi 57, ông đã tạm dừng vị trí giáo sư không thời hạn, đồng thời nhận lời mời làm “nhà toán học sáng lập” tại công ty mới.

AI và toán học: Từ hoài nghi tới hợp tác

Trước đây, ông tự nhận mình thuộc trường phái “trí tuệ tự nhiên” và cho rằng AI chỉ là một xu hướng thổi phồng. Tuy nhiên, sau khi chứng kiến các mô hình AI thế hệ mới có khả năng suy luận và chứng minh các định lý, quan điểm của ông đã thay đổi hoàn toàn.

Ono dành 1‑2 giờ mỗi ngày để “trò chuyện” với các hệ thống AI, nhận ra tiềm năng cách mạng trong việc hỗ trợ và mở rộng nghiên cứu toán học.

Axiom Math và tầm nhìn của Carina Hong

Nhân vật thuyết phục ông rời đại học chính là Carina Hong – một hiện tượng trong cộng đồng toán và AI. Cô tốt nghiệp MIT trong ba năm, giành Giải Morgan, 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, Hong đã huy động 64 triệu USD vốn và thu hút các nhà nghiên cứu AI từ Meta.

Axiom Math đặt mục tiêu xây dựng “nhà toán học AI” – một hệ thống có khả năng suy luận, tạo 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 siêu trí tuệ toán học có thể mang lại độ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 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, nhưng đã được nhận vào Đại học Chicago nhờ tài năng toán học, không cần bằng trung học. Sau đó, ông học cao học tại UCLA dưới sự hướng dẫn của Giáo sư Basil Gordon.

Ông đã giảng dạy tại Wisconsin, Emory và Virginia, dẫn dắt các chương trình nghiên cứu cho sinh viên ưu tú và đào tạo 10 người đoạt Giải Morgan, trong đó có Carina Hong.

Lý do rời giảng đường

Ono cho biết, áp lực từ các biến động chính trị, nguy cơ cắt giảm ngân sách nghiên cứu và thời gian giảng dạy ngày càng giảm đã khiến ông không còn đủ thời gian dành cho niềm đam mê lớn nhất – toán học.

“Đâ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ẻ.

Tương lai của AI toán học

Carina Hong mong muốn Axiom xây dựng một hệ thống AI thực sự hiểu bản chất của toán học, không chỉ sao chép lời giải. Ken Ono sẽ đóng vai trò “nhà toán học sáng lập”, thiết kế các bài toán mới và 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. Dù tham gia AI, Ono khẳng định: “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.”