Gadis jenius matematika Guangzhou berusia 25 tahun meraih pendanaan lebih dari 1,4 miliar, valuasi perusahaan mencapai 11 miliar

Tanya AI · Bagaimana sistem AI Axiom merevolusi industri verifikasi kode?

Lulusan Massachusetts Institute of Technology dan University of Oxford, gadis jenius matematika berusia 25 tahun asal Guangzhou bernama Hong Letong, yang berhenti kuliah di Stanford untuk berwirausaha. Beberapa minggu lalu, ia baru saja berhasil mengamankan pendanaan sebesar 2 miliar dolar AS, dengan valuasi 1,6 miliar dolar AS, sekitar setara dengan 11 miliar yuan renminbi.

Ia mengatakan bahwa ia sangat tertarik menggunakan AI untuk melakukan matematika. “Bagaimana matematika menghasilkan uang? Sejak awal, kami menghadapi tantangan itu. Sekarang, sinyal bisnis sudah jauh lebih jelas: matematika bisa menciptakan nilai, karena ia dapat memverifikasi dirinya sendiri, memeriksa dirinya sendiri.”

Perusahaan Hong Letong menamai dirinya Axiom (aksioma), dengan tujuan menciptakan “matematikawan AI”. Pada intinya, bisnis yang sedang dirintis sekelompok matematikawan itu adalah membangun sistem AI yang dapat memverifikasi secara otomatis kode komputer; prinsipnya mirip dengan matematikawan yang membuktikan soal matematika yang rumit.

Nilainya terletak pada kenyataan bahwa, saat AI menulis kode, ia tidak dapat mengetahui kapan kode tersebut memiliki celah atau bug. Berbekal gagasan itu, pada Agustus 2024, Hong Letong berhasil meraih investasi putaran seed sebesar 9,6 juta dolar AS, kira-kira sekitar 66 juta yuan renminbi. Dalam rancangannya, produk Axiom di masa depan dapat melayani hedge fund dan perusahaan perdagangan kuantitatif, untuk dengan cepat menyelesaikan masalah matematika kompleks yang terkait dengan penetapan harga aset dan prediksi pergerakan pasar saham.

Pada pertengahan Maret, Hong Letong mengumumkan bahwa ia telah menghimpun pendanaan putaran A sebesar 2 miliar dolar AS dari perusahaan modal ventura seperti Menlo Ventures, Greycroft, dan Madrona, sekitar setara dengan 1,4 miliar yuan renminbi. Saat ini, Axiom memiliki lebih dari 20 karyawan, dan Hong Letong sibuk menambah personel. Ia kerap memublikasikan informasi perekrutan di platform media sosial luar negeri, mencari rekan seperjuangan yang ingin “melakukan matematika dengan AI”.