Perbatasan Matematika AI: Bagaimana Seorang Dropout Stanford Usia 24 Tahun Mengubah Industri

Dalam sebuah pergeseran paradigma di kalangan modal ventura, pendiri muda semakin menarik perhatian dan modal. Salah satu contoh mencolok adalah putaran pendanaan Seri A yang baru saja diumumkan oleh Axiom Math: startup penalaran AI ini mendapatkan investasi sebesar $64 juta, mendorong valuasinya menjadi $300 juta. Dipimpin oleh B Capital dengan dukungan dari Greycroft, Madrona, dan Menlo Ventures, putaran ini menegaskan kepercayaan investor yang semakin berkembang terhadap venture AI generasi berikutnya. Yang membuat kisah pendanaan ini luar biasa bukan hanya angka-angkanya, tetapi juga visi dari orang yang mengarahkan kapal: Carina Hong, seorang pengusaha pasca-00-an yang mewakili jenis pendiri teknis baru yang membentuk kembali Silicon Valley.

Siapa di Balik Axiom Math?

Lahir dan besar di Guangzhou, Hong Letong—secara profesional dikenal sebagai Carina Hong—mencontohkan trajektori pendiri elit masa kini. Riwayat pendidikannya seperti kelas master dalam keunggulan institusional: menghadiri Sekolah Menengah Terafiliasi Universitas Normal China Selatan (di mana dia menonjol dalam kompetisi matematika), meraih gelar ganda dalam matematika dan fisika dari MIT, gelar master dalam neuroscience dari University of Oxford (diperoleh melalui Beasiswa Rhodes yang bergengsi—hanya empat penerima dari China yang memegang gelar ini), dan yang terbaru, menjadi kandidat PhD di Stanford University dalam bidang matematika dan hukum.

Penghargaan yang dikumpulkan sepanjang perjalanan mereka menceritakan kisahnya sendiri. Dia meraih Schafer Mathematics Excellence Award—diberikan setiap tahun kepada hanya satu mahasiswa perempuan di Amerika Utara—diikuti oleh Morgan Prize, penghargaan tertinggi dalam matematika untuk pencapaian mahasiswa di wilayah tersebut, menjadikannya wanita kelima yang pernah menerimanya. Selama masa kuliahnya di MIT, dia menyelesaikan 20 mata kuliah tingkat pascasarjana dan menerbitkan beberapa makalah di bidang matematika tingkat lanjut termasuk fungsi L dari kurva elliptic modular dan permukaan K3.

Asal Usul Axiom: Dari Obrolan Kafe Hingga $300 Jutaan Valuasi

Narasi pendirian hampir seperti film dalam kesederhanaannya. Selama pertemuan santai di akhir pekan dekat kampus Stanford, Hong dan Shubho Sengupta—mantan peneliti AI Meta yang memimpin tim FAIR dan mengembangkan OpenGo serta CrypTen—terlibat dalam percakapan panjang mengeksplorasi persimpangan matematika tingkat tinggi dan kecerdasan buatan. Diskusi ini berpusat pada pertanyaan mendasar: bisakah sistem AI menyelesaikan masalah matematika paling sulit di dunia?

Percakapan tunggal ini memicu sebuah keputusan. Hong meninggalkan Stanford dan berkomitmen penuh untuk membangun Axiom Math, memulai apa yang akan menjadi salah satu peluncuran AI paling signifikan tahun ini.

Masalah Apa yang Sebenarnya Diselesaikan Axiom?

Axiom menempatkan dirinya sebagai “seorang matematikawan AI”—sistem yang mampu mengubah pengetahuan matematika dari buku teks, makalah akademik, dan jurnal menjadi program yang dapat dieksekusi mesin. Perbedaan ini penting: tidak seperti model bahasa umum yang kesulitan dengan penalaran matematika, Axiom tidak hanya menghasilkan jawaban tetapi juga bukti langkah demi langkah, validasi, dan rantai penalaran yang rinci.

Kesenjangan teknis yang diatasi ini nyata. Ketika ChatGPT o3 diuji terhadap Kompetisi Matematika Amerika, akurasinya mencapai 96%—hingga diminta untuk menunjukkan metodologi pembuktian. Pada titik itu, performanya merosot menjadi sekitar 5%. Perbedaan ini mengungkapkan kekurangan kritis: data pelatihan model kemungkinan besar mencakup masalah-masalah spesifik ini, menyembunyikan kekurangan penalaran yang mendasar.

Peta jalan riset Axiom melampaui matematika murni. Tim membayangkan aplikasi yang mencakup pemodelan keuangan, desain arsitektur semikonduktor, dan perdagangan kuantitatif—domain di mana verifikasi matematika yang ketat memisahkan strategi yang menguntungkan dari bencana.

Membangun Tim: Kolektif Pasca-00-an dengan DNA Meta

Meskipun baru dibentuk beberapa bulan yang lalu, Axiom membentuk tim inti sebanyak 10 orang yang didominasi oleh peneliti AI terkenal. CTO saat ini, Shubho Sengupta, membawa pengalaman dua dekade dalam ML mutakhir, termasuk pekerjaan awal pada teknologi CUDA dan infrastruktur pelatihan terdistribusi Google. François Charton, yang direkrut dari divisi riset Meta, menghabiskan bertahun-tahun menyelidiki arsitektur transformer yang diterapkan pada pemecahan masalah matematika. Hugh Leather, mantan kolega Meta lainnya, berkontribusi pada pekerjaan dasar tentang model bahasa besar yang dirancang untuk generasi kode compiler dan GPU.

Konstelasi talenta ini—terfokus, terkonsentrasi, dan tidak ortodoks dalam komposisi timnya—menarik dukungan dari B Capital tepat karena kapasitas eksekusi dan kedalaman teknisnya.

Momen Lebih Luas: Pendiri Pasca-00-an Kini Ada di Mana-mana dalam AI

Kesuksesan Axiom datang dalam narasi yang lebih besar: pendiri pasca-00-an secara kolektif menyerbu sektor AI dengan tingkat keberhasilan yang luar biasa.

Pertimbangkan Sola Solutions, startup yang baru didirikan oleh Jessica Wu yang berusia 22 tahun dan Neil Deshmukh yang berusia 23 tahun (keduanya alumni MIT). Mereka mengumpulkan $21 juta melalui putaran seed dan Seri A, menggabungkan $3,5 juta (berdasarkan keyakinan) dan $17,5 juta (a16z), secara berturut-turut.

Atau Anysphere—startup pemrograman AI yang dipimpin oleh Michael Truell dan tiga lulusan MIT tahun 2022. Valuasi Seri B mereka mencapai $9 miliar dengan dana sebesar $900 juta. Produk mereka, Cursor, telah menjadi standar de facto di kalangan insinyur Silicon Valley yang tertarik pada pengembangan berbantuan AI.

Mercor, platform rekrutmen AI, mencapai valuasi $2 miliar dengan dana Seri B sebesar $100 juta—dan didirikan oleh tiga mahasiswa pasca-00-an dari Harvard dan Georgetown yang meluncurkannya dari kamar asrama mereka.

Di Tiongkok, pola ini berulang: Zero Degree ( startup robotik oleh Min Yuheng, Cheng Yi, dan Li Yizhe dari Tsinghua) mengamankan ratusan juta melalui putaran angel. Lingchu Intelligent menarik dukungan dari Hillhouse Venture dan BlueRun Ventures. UniX AI, didirikan oleh Yang Fengyu ( lahir tahun 2000, PhD dari Yale dalam ilmu komputer), telah menjadi pusat perhatian untuk investasi AI berwujud.

Mengapa Pendiri Pasca-00-an Mungkin Memiliki Keunggulan

Teori investasi yang muncul dari perusahaan VC terkemuka menunjukkan bahwa pendiri muda ini memiliki keunggulan sistematis. “Kami yakin bahwa kewirausahaan sering kali milik orang muda,” kata Dai Yusen, mitra pengelola di ZhenFund. Alasan: banyak terobosan AI beroperasi di domain di mana pengalaman yang terkumpul justru menjadi beban daripada aset. Buku panduan yang ada tidak berlaku. Pendiri pasca-00-an, yang tidak terbebani oleh ingatan institusional, mendekati masalah dengan kerangka kerja yang segar.

“Kebodohan adalah keberanian,” tambah Dai. “Banyak inovasi teknologi muncul karena peserta memahami medan tersebut tetapi tetap tidak takut menantangnya.”

Momen yang Telah Dibangun Hong Letong

Posisi resmi Axiom—“Masa depan penemuan matematika dimulai di sini”—memiliki bobot tepat karena siapa yang mengatakannya. Dalam wawancara sebelumnya, Hong merenungkan dorongan pendiriannya: “Saya selalu seorang peneliti. Saya ingin memecahkan masalah teknis yang benar-benar sulit.”

Tak lama sebelum mendirikan Axiom, saat DeepSeek menarik perhatian global, Hong mengamati: “Tim kecil yang fokus, tidak konvensional. Mitra yang hebat yang terdiri dari idealis. Eksekusi yang kuat. Komitmen langsung. Unsur paling berharga: keyakinan yang saling terkait dalam cita-cita dan misi.” Dia melanjutkan: “Ini adalah kisah DeepSeek. Ini juga kisah yang ingin saya tulis secara pribadi.”

Dengan $300 juta dalam dukungan dan 10 peneliti AI terbaik dunia yang berkomitmen terhadap misi ini, kisah itu kini sedang ditulis secara nyata.