Guangdong "00后" học bá Hồng Lạc Thẫm: 17 tuổi vào MIT, rời Stanford để khởi nghiệp, công ty AI nhận vốn 200 triệu USD, trở thành kỳ lân công nghệ

Trong lĩnh vực trí tuệ nhân tạo đang chứng kiến sự trỗi dậy của một thế hệ các nhà sáng lập trẻ tuổi, trong đó có洪乐潼, một doanh nhân sinh năm 2001 tại Quảng Châu, Trung Quốc. Với việc thành lập công ty AI Axiom (axiommath.ai), cô đã huy động thành công vòng gọi vốn Series A trị giá 200 triệu USD, nhanh chóng trở thành tâm điểm trong giới công nghệ toàn cầu. Vòng gọi vốn này do quỹ đầu tư danh tiếng Menlo Ventures dẫn đầu, các cổ đông cũ đều tham gia theo, sau khi hoàn tất, định giá công ty đạt 1,6 tỷ USD, chính thức gia nhập hàng ngũ kỳ lân.

Học vấn của洪乐潼 được xem là huyền thoại. Sinh năm 2001 tại Quảng Châu, cô có cha mẹ đều là công nhân bình thường, nhưng nhờ năng khiếu toán học xuất sắc, cô đã nổi bật ngay từ trung học. Năm lớp 10, cô được chọn vào chương trình tài năng trung học tỉnh Quảng Đông, học dưới sự hướng dẫn của giáo sư Vương Học Khâm tại Đại học Sun Yat-sen, và là một trong bốn nữ sinh duy nhất lọt vào vòng tuyển chọn toán học Olympic trung học toàn quốc của tỉnh. Năm 2018, mới 17 tuổi, cô đã được nhận vào Viện Công nghệ Massachusetts (MIT), chuyên ngành Toán học và Vật lý, chỉ sau ba năm đã tốt nghiệp, trong thời gian đó đã xuất bản 9 bài báo nghiên cứu về số học, tổ hợp và các lĩnh vực toán học cơ bản khác, trong đó có một số nghiên cứu liên quan đến tự động hóa chứng minh toán học.

Trong thời gian tại MIT, thành tựu của洪乐潼 không chỉ dừng lại ở học thuật. Cô đã nhận giải thưởng cao nhất dành cho nữ nhà toán học Mỹ — Giải thưởng Toán học Alice T. Schafer, và năm 2021 trở thành một trong bốn học giả Rhodes của Trung Quốc, theo học ngành Khoa học thần kinh tại Đại học Oxford. Sau đó, cô đã có hành trình học tập đa dạng qua các lĩnh vực toán học, vật lý, thần kinh học, thậm chí còn mở rộng sang nhân văn: sau khi bắt đầu chương trình tiến sĩ kép về Toán học và Luật tại Stanford, cô đã quyết định bỏ học để khởi nghiệp. Trước đó, cô còn nhận giải thưởng Morgan của AMS-MAA-SIAM dành cho sinh viên nghiên cứu xuất sắc trong lĩnh vực toán học tại Bắc Mỹ, và dự kiến sẽ nằm trong danh sách “30 Under 30” của Forbes năm 2025.

Sự ra đời của Axiom bắt nguồn từ sự thấu hiểu sâu sắc của洪乐潼 về những điểm đau của ngành AI. Hiện nay, dù các mô hình lớn ngày càng mạnh mẽ, nhưng vấn đề độ tin cậy vẫn chưa được giải quyết — đặc biệt trong các lĩnh vực quan trọng như tài chính, quốc phòng, nơi các lỗi dựa trên xác suất có thể gây hậu quả nghiêm trọng. Để giải quyết mâu thuẫn này, Axiom đề xuất mô hình “toán học như dịch vụ”, đào tạo AI để nắm vững lý luận logic chặt chẽ, giúp AI có thể xây dựng và xác minh chứng minh giống như các nhà toán học. Sản phẩm đầu tiên của công ty, hệ thống AxiomProver, đã thể hiện tiềm năng ấn tượng: vào tháng 12 năm ngoái, hệ thống này sử dụng ngôn ngữ Lean có thể xác minh, đã hoàn thành chứng minh hình thức của câu hỏi thứ 124 và thứ 481 trong bộ đề Eldersh trong vòng 1 ngày và 5 giờ mà không cần can thiệp của con người. Thành tựu này có ý nghĩa lớn — bộ đề Eldersh gồm 1109 bài toán khó về tổ hợp và số học, đến nay mới chỉ có 266 bài được chứng minh, trong đó chỉ 10 bài đã chuyển đổi thành phiên bản xác minh bằng máy tính.

Mô hình kinh doanh của Axiom tập trung vào khách hàng cao cấp, gồm các quỹ phòng hộ, nhà giao dịch định lượng và các tổ chức tài chính khác. Công ty tuyên bố công nghệ của họ có thể cung cấp giải pháp định lượng hiệu quả cao, giúp giải quyết các bài toán chứng minh toán học phức tạp. Định hướng này phù hợp với nền tảng học thuật của洪乐潼: cô từng chỉ ra trong thời gian tại Stanford rằng các mô hình như ChatGPT còn nhiều hạn chế trong suy luận toán học, nhấn mạnh rằng AI hiện tại thiếu một hệ thống đào tạo lý luận logic chặt chẽ.

洪乐潼 không phải là người duy nhất trong thế hệ “00 sau” nổi bật trong lĩnh vực AI. Gần đây, một công ty khác mới thành lập hơn một năm là Lingchu Intelligent đã công bố hoàn tất vòng gọi vốn angel và Pre-A tổng cộng 2 tỷ CNY, với các nhà đầu tư gồm Quỹ tài chính quốc gia, Quỹ trung ương Trung Quốc, cùng các quỹ địa phương như Xuhui Capital của Thượng Hải. Đồng sáng lập Chen Yuanpei của họ cũng sinh năm 2001, từng học tại Đại học Bắc Kinh và Stanford, dưới sự hướng dẫn của các học giả nổi tiếng trong lĩnh vực AI như Li FF. Yang Fengyu, tốt nghiệp tiến sĩ Yale, đã trở về Trung Quốc năm 2024 để thành lập công ty trí tuệ thể chất Uliqi, huy động thành công hàng tỷ CNY trong vòng gọi vốn angel; cùng với đó, trang tuyển dụng AI Mercor do ba “00 sau” sáng lập cũng đã công bố hoàn tất vòng B trị giá 100 triệu USD vào năm 2025, định giá công ty đạt 2 tỷ USD.

Sự trỗi dậy của nhóm các nhà sáng lập trẻ này đánh dấu một giai đoạn mới do thế hệ Z dẫn dắt trong lĩnh vực AI. Họ có nền tảng đa dạng từ học thuật, công nghiệp đến vốn đầu tư, với các hướng công nghệ từ nghiên cứu cơ bản đến ứng dụng thực tiễn, cùng nhau thúc đẩy ngành phát triển theo hướng đáng tin cậy và hiệu quả hơn.