Thiếu nữ thiên tài toán học Quảng Châu 25 tuổi đã huy động hơn 1.4B vốn đầu tư, định giá công ty 11Bỷ

Hỏi AI · Hệ thống AI của Axiom sẽ cách mạng hóa ngành xác minh mã nguồn như thế nào?

Cô gái thiên tài toán học 25 tuổi người Quảng Châu, tốt nghiệp MIT và Đại học Oxford, Hồng Lạc Đồng; cô đã bỏ học ở Stanford để khởi nghiệp. Vài tuần trước, cô vừa giành được vòng gọi vốn 200 triệu USD, định giá 1.6Bỷ USD, tương đương khoảng 1.4Bỷ NDT.

Cô cho biết cô rất hào hứng muốn dùng AI để làm toán: “Toán kiếm tiền như thế nào? Ngay từ đầu chúng tôi đã đối mặt với thách thức này. Hiện tại, các tín hiệu kinh doanh đã rõ ràng hơn rất nhiều; toán có thể tạo ra giá trị, bởi vì nó có thể tự xác minh, tự kiểm tra.”

Công ty của Hồng Lạc Đồng được đặt tên Axiom (Tiên đề), hướng tới việc tạo ra “nhà toán học bằng AI”. Về cơ bản, hoạt động mà một nhóm nhà toán học đang dày công phát triển là: xây dựng một hệ thống AI có thể tự động xác minh mã nguồn máy tính; nguyên lý tương tự như việc các nhà toán học chứng minh các bài toán khó về mặt toán học.

Giá trị của nó nằm ở chỗ: khi dùng AI viết mã, bạn sẽ không biết khi nào đoạn mã đó có lỗ hổng. Dựa trên ý tưởng này, vào tháng 8/2024, Hồng Lạc Đồng đã giành được 9,6 triệu USD vốn hạt giống, tương đương khoảng 66 triệu NDT. Theo hình dung của cô, trong tương lai sản phẩm của Axiom có thể phục vụ các quỹ phòng hộ và công ty giao dịch định lượng, giúp nhanh chóng giải quyết các bài toán toán phức tạp liên quan đến định giá tài sản và dự báo thị trường chứng khoán.

Vào giữa tháng 3, Hồng Lạc Đồng tuyên bố rằng cô đã huy động được 200 triệu USD ở vòng A từ các quỹ đầu tư mạo hiểm như Menlo Ventures, Greycroft và Madrona, tương đương khoảng 11Bỷ NDT. Hiện tại, Axiom có hơn 20 nhân viên, và Hồng Lạc Đồng đang bận chiêu mộ thêm người. Cô thường xuyên đăng thông tin tuyển dụng trên các nền tảng xã hội ở nước ngoài, tìm kiếm những người cùng chí hướng “làm toán bằng AI”.