Gần đây, công ty khởi nghiệp AI Axiom Math do Hồng Lạc Đồng (Carina Hong), sinh năm 2001 sáng lập, đã huy động thành công 64 triệu USD trong vòng hạt giống, định giá đạt 300 triệu USD, gây xôn xao dư luận.

Theo Sina, năm 14 tuổi, cô gái nhỏ Hồng Lạc Đồng ở thành phố Quảng Châu (Quảng Đông, Trung Quốc) đã nguệch ngoạc ba chữ "MIT" bên lề trang giấy nháp như lời thề sẽ đến đây học tập. Mười năm sau, ở tuổi 24, cô đã chinh phục không chỉ MIT, mà cả Oxford và Stanford. Nhưng ngay tại đỉnh cao của con đường học thuật, khi đang theo đuổi hai bằng tiến sĩ cùng lúc, Hồng Lạc Đồng đã làm điều không tưởng, bỏ học. Cô từ bỏ tương lai được đảm bảo để dấn thân vào cuộc phiêu lưu đầy rủi ro với tham vọng tạo ra một nhà toán học AI, AlphaGo cho lĩnh vực toán học.

Hành trình của thần đồng

Con đường của Hồng Lạc Đồng không phải lúc nào cũng trải hoa hồng. Đến MIT, cô gái trẻ từng là ngôi sao ở quê nhà bỗng cảm thấy lạc lõng và cô đơn. Nhưng chính trong môi trường thực hành khắc nghiệt của MIT, cô đã tìm thấy sức mạnh. "Bạn phải đủ khắt khe với bản thân để có thể tỏa sáng", cô nói. Hồng Lạc Đồng làm được, cô đã tỏa sáng rực rỡ.

Chỉ mất 3 năm để hoàn thành hai bằng cử nhân Toán và Lý, viết 9 bài báo khoa học, giành gần như mọi giải thưởng danh giá nhất dành cho sinh viên toán học ở Bắc Mỹ. Con đường của Hồng Lạc Đồng dường như đã được định sẵn, trở thành giáo sư, nhà nghiên cứu lỗi lạc. Cô nhận được học bổng Rhodes danh giá để đến Oxford, rồi lại được nhận vào chương trình tiến sĩ kép tại Stanford. Nữ thần đồng muốn xây dựng một không gian nhận thức hoàn chỉnh, kết hợp toán học, y sinh và cả luật pháp.

Nhưng sâu thẳm trong Hồng Lạc Đồng, ngọn lửa đam mê toán học thuần túy vẫn cháy bỏng. Khi AI bùng nổ, Hồng Lạc Đồng nhìn thấy cơ hội để kết hợp hai tình yêu lớn của mình. "AI và các nhà toán học sẽ tương tác với nhau như thế nào?", câu hỏi đó đã thôi thúc cô đưa ra quyết định táo bạo nhất cuộc đời mình.

Ván cược lớn vào AI

Công ty khởi nghiệp của cô, Axiom Math, ra đời từ nhận định sâu sắc, các mô hình AI hiện nay, dù mạnh mẽ đến đâu, vẫn rất tầm thường khi đối mặt với các bài toán suy luận phức tạp. Chúng có thể viết thơ, vẽ tranh, nhưng lại thường xuyên mắc những lỗi logic ngớ ngẩn. Đây chính là "gót chân Achilles" của AI, cũng là cơ hội của Axiom Math.

Tham vọng của Hồng Lạc Đồng không chỉ là tạo ra một AI có thể giải các bài toán có sẵn. Cô và các cộng sự muốn tạo ra "nhà toán học AI" thực thụ, cỗ máy có khả năng tự đặt ra các vấn đề mới, tự chứng minh các định lý, khám phá những vùng đất chưa ai biết đến trong thế giới toán học. "Toán học là sân chơi hoàn hảo để xây dựng siêu trí tuệ", Hồng Lạc Đồng tuyên bố trong một cuộc phỏng vấn với Forbes. Đó là mục tiêu táo bạo, nhưng nó đã đủ sức hấp dẫn để lôi kéo những bộ óc hàng đầu.

Con đường này cũng không phải là không có người đi, các gã khổng lồ AI như OpenAI và Google DeepMind gần đây đều đã đạt được điểm số cấp huy chương vàng trong các kỳ thi Olympic Toán quốc tế, các mô hình AI của họ đã giải quyết thành công 5 trong số 6 bài toán cực khó. Nhưng Hồng Lạc Đồng cho rằng các bài kiểm tra này có thể có những kẽ hở để ăn gian, không thể phản ánh được trình độ thực sự của toán học cấp nghiên cứu.

"Giải quyết các vấn đề toán học phức tạp luôn là cốt lõi của nhiều phát minh. Khả năng tạo ra các vấn đề mới mô phỏng thực tế và giải quyết chúng là cực kỳ quan trọng để thúc đẩy sự tiến bộ của kiến thức nhân loại", Yan-David Erlich, đối tác tại B Capital, đã nói trong bài viết giải thích lý do tại sao họ chọn đầu tư vào Axiom Math.

Thu hút nhân tài

Chưa đầy một năm, công ty khởi nghiệp của Hồng Lạc Đồng đã tuyển dụng được nhóm các chuyên gia kỳ cựu trong ngành công nghệ, nhiều người trong số họ đến từ Viện Nghiên cứu Trí tuệ Nhân tạo Cơ bản của Meta (FAIR). Nổi bật trong đó có Giám đốc Công nghệ của Axiom Math, Shubho Sengupta, từng lãnh đạo nhóm Meta FAIR phát triển OpenGo và CrypTen. Trước đó, ông đã góp phần định hình hệ thống huấn luyện phân tán của Google Brain và là một trong những nhà phát triển CUDA đầu tiên.

François Charton, từ năm 2019 đã tiên phong trong việc áp dụng Transformer vào các vấn đề toán học phức tạp. Gần đây, ông đã sử dụng Transformer để học thành công các hàm Lyapunov gần đúng trên nhiều hệ phương trình vi phân thường (ODE) cụ thể.

Aram Markosyan, nhà khoa học AI từng lãnh đạo nghiên cứu về an toàn và công bằng tại Meta và Hugh Leather, cựu nhà khoa học nghiên cứu của Meta AI, là một trong những nhà nghiên cứu đầu tiên áp dụng học sâu vào việc tạo mã. Kinh nghiệm tiên phong của Hugh Leather trong việc áp dụng học sâu vào việc tạo mã, bao gồm việc xây dựng mô hình ngôn ngữ lớn đầu tiên cho trình biên dịch và tạo mã GPU, mang lại lợi thế quan trọng cho đội ngũ của Axiom Math.

Đối với nhiều nhà nghiên cứu, sứ mệnh của Axiom Math là sử dụng trí tuệ nhân tạo để thực hiện các khám phá toán học đã trở thành điểm thu hút quan trọng, điều này có thể thấy rõ qua việc các phòng họp của công ty được đặt theo tên của các huyền thoại toán học như Carl Friedrich Gauss và Ada Lovelace.

Từ tài năng học thuật đến doanh nhân triệu đô

Câu chuyện của Hồng Lạc Đồng đại diện cho xu hướng lớn nhất trong thế giới AI hiện nay, sự chuyển dịch từ các mô hình AI biết tuốt sang các mô hình chuyên gia theo chiều sâu. OpenAI và Google có thể tạo ra những mô hình đa năng, nhưng tương lai của các ứng dụng đột phá lại nằm ở các công ty khởi nghiệp như Axiom Math, những công ty tập trung giải quyết vấn đề cực khó trong lĩnh vực cụ thể.

Việc huy động được 64 triệu USD ở vòng hạt giống cho ý tưởng có vẻ hàn lâm cho thấy giới đầu tư đã nhận ra, ai giải được bài toán suy luận logic cho AI, người đó sẽ nắm giữ chìa khóa cho thế hệ tiếp theo của trí tuệ nhân tạo, vượt xa những ứng dụng chatbot hiện tại.

Xét về mặt kinh tế, nữ thần đồng Hồng Lạc Đồng đại diện cho thế hệ nhà sáng lập mới, những nhà khoa học - doanh nhân. Họ không chỉ có ý tưởng kinh doanh, họ có khả năng kỹ thuật để trực tiếp giải quyết những vấn đề cốt lõi. Sự hấp dẫn của Axiom Math đối với các nhà nghiên cứu hàng đầu không chỉ đến từ tiềm năng tài chính, mà còn từ sứ mệnh khoa học thuần túy của nó. Ở Meta hay Google, AI toán học có thể chỉ là một dự án phụ. Ở Axiom Math, đó là tất cả.

Tuy nhiên, rủi ro cũng là cực kỳ lớn. Họ đang đối đầu trực diện với những gã khổng lồ có nguồn lực gần như vô hạn. Nhưng lịch sử Thung lũng Silicon đã chứng minh rằng, những kẻ tí hon nhanh nhẹn và tập trung đôi khi lại có thể đánh bại những gã khổng lồ. Hồng Lạc Đồng đặt cược vào chính điều đó.

Hành trình của Hồng Lạc Đồng, từ cô bé viết chữ MIT bên lề trang giấy đến nhà sáng lập 24 tuổi dám thách thức cả thế giới, không chỉ là câu chuyện khởi nghiệp. Đó là câu chuyện về lòng dũng cảm, việc dám từ bỏ con đường an toàn để theo đuổi giấc mơ lớn hơn. Dù thành công hay thất bại, ván cược của cô cũng sẽ góp phần vào sự phát triển của lĩnh trí tuệ nhân tạo đầy tiềm năng.

×