Nữ thiên tài Trung Quốc gây chấn động Thung lũng Silicon với startup AI định giá 1,6 tỷ USD
Theo báo cáo từ 36Kr, Hồng Lạc Đồng, một cô gái 25 tuổi đến từ Quảng Đông, Trung Quốc, đang tạo nên cơn địa chấn tại Thung lũng Silicon. Cô không chỉ là một thần đồng học thuật mà còn là một doanh nhân khởi nghiệp táo bạo, định hình lại cách tiếp cận trong lĩnh vực trí tuệ nhân tạo.
Hành trình học thuật phi thường và bước ngoặt khởi nghiệp
Hồng Lạc Đồng đã thi đỗ vào Viện Công nghệ Massachusetts (MIT) khi mới 17 tuổi, hoàn thành song bằng Toán học và Vật lý chỉ trong ba năm, sau đó tiếp tục theo học tại Đại học Stanford. Cô được giới truyền thông mô tả là hình mẫu "nữ thiên tài khởi nghiệp", nhưng điều thực sự khiến cô nổi bật là những lựa chọn đi ngược lại xu hướng chung.
Trong khi toàn ngành AI đang đổ xô vào phát triển các mô hình lớn hơn và khả năng tạo nội dung mạnh mẽ hơn, Hồng Lạc Đồng lại chọn một hướng đi được coi là kém hấp dẫn và khó thương mại hóa: sử dụng toán học để xác thực AI. Công ty của cô, Axiom, thành lập chưa đầy hai năm với hơn 20 nhân viên, gần đây đã huy động thành công 200 triệu USD trong vòng gọi vốn Series A, nâng định giá sau đầu tư lên 1,6 tỷ USD, tương đương hơn 11 tỷ Nhân dân tệ.
Axiom và sứ mệnh giải quyết vấn đề ảo giác trong AI
Axiom không tập trung vào chatbot, công cụ tạo ảnh từ văn bản, hay mô hình ngôn ngữ lớn. Thay vào đó, công ty này chuyên về "Xác thực hình thức" (Formal Verification), một phương pháp sử dụng toán học và logic để biến mọi bước suy luận của AI trở nên có thể kiểm tra, chứng minh và truy cứu trách nhiệm. Mục tiêu chính là giải quyết hiện tượng ảo giác (AI hallucination), điểm yếu chí mạng và phiền toái nhất của các mô hình AI hiện đại.
Vấn đề lớn nhất của AI ngày nay không phải là thiếu sức mạnh, mà là thiếu độ tin cậy. AI có thể đưa ra câu trả lời nghe có vẻ đúng, thậm chí giải đúng bài toán, nhưng không có cách nào xác nhận liệu nó thực sự suy luận hay chỉ là "đoán mò đúng". Axiom muốn biến trạng thái mơ hồ này thành một quá trình xác định có thể kiểm tra được, hướng đến các thị trường đòi hỏi độ tin cậy cao như tài chính, quân sự, chip bán dẫn và lái xe tự động.
Những thách thức và cơ hội trên con đường khởi nghiệp
Hồng Lạc Đồng từng chia sẻ rằng cô đặc biệt thích cảm giác thử thách, từ Olympic Toán đến nghiên cứu học thuật. Khao khát này đã thúc đẩy cô rời khỏi vùng an toàn để chinh phục những "khúc xương khó nhằn" trong AI. Cô đã hợp tác với Shubho Sengupta, cựu Giám đốc Nghiên cứu Meta AI, để cùng khởi nghiệp sau khi cả hai nhận thấy sự đồng điệu trong việc theo đuổi suy luận toán học cho AI.
Tuy nhiên, con đường của Axiom không thiếu thách thức. Công ty phải đối mặt với câu hỏi hóc búa về khả năng thương mại hóa. Trong khi các ứng dụng tài chính đòi hỏi tốc độ cao, tính chính xác tuyệt đối của Axiom có thể không đáp ứng được yêu cầu về độ trễ thấp. Ngoài ra, liệu các doanh nghiệp có sẵn sàng trả giá cao cho "sự chính xác tuyệt đối" hay không vẫn là một dấu hỏi lớn.
Định giá 1,6 tỷ USD ở vòng Series A đặt ra kỳ vọng lớn về tăng trưởng siêu tốc và lộ trình thoái vốn rõ ràng. Axiom cần chứng minh khả năng thương mại hóa quy mô lớn trong một đến hai năm tới, đồng thời cạnh tranh với các gã khổng lồ công nghệ trong một thị trường ngách nhưng đầy tiềm năng.
Tương lai của Axiom: Cuộc thử nghiệm giữa lý tưởng và thực tế
Tương lai của Axiom giống như một cuộc thử nghiệm áp lực của chủ nghĩa lý tưởng, nơi "sự chính xác tuyệt đối" trong công nghệ phải đối mặt với thế giới kinh doanh mang tính "kinh tế tương đối". Dù vậy, Hồng Lạc Đồng vẫn tin tưởng rằng toán học có thể tạo ra giá trị thông qua khả năng tự xác thực và tự kiểm tra, với các tín hiệu thương mại ngày càng rõ ràng hơn.
Câu chuyện của Hồng Lạc Đồng và Axiom không chỉ là một thành công khởi nghiệp, mà còn là minh chứng cho sự dũng cảm khi đi ngược lại dòng chảy, tập trung vào giải quyết những vấn đề cốt lõi thay vì chạy theo xu hướng nhất thời. Trong bối cảnh AI đang phát triển nhanh chóng, sự đóng góp của cô có thể định hình lại tương lai của ngành công nghệ này.
