Carina Hong

Carina Hong, karmaşık teoremleri çözebilen ve ileri düzey matematiksel akıl yürütme yeteneğine sahip kendi kendini geliştiren "yapay zeka matematikçisi" üreten Axiom Math şirketinin kurucusu ve İcra Kurulu Başkanıdır (CEO). Üniversite eğitimine dünyanın en iyi üç prestijli kurumunda devam eden ve henüz 24 yaşındayken matematik, fizik ve sinirbilim gibi birçok farklı disiplinde çığır açan akademik çalışmalara imza atan dahi bir bilim insanı ve sıradışı bir girişimcidir.

Olağanüstü Bir Akademik Geçmiş

Çin'in Guangzhou kentinde dünyaya gelen ve prestijli Güney Çin Normal Üniversitesi Bağlı Lisesi'nde eğitim gören Carina Hong, matematiğe olan eşsiz yeteneğini küçük yaşlarda keşfetmiş ve ileri seviye literatürü okuyabilmek için kendi kendine İngilizce öğrenmiştir. Lise yıllarında Eyalet Matematik Olimpiyatları takımının nadir kadın üyelerinden biri olarak ulusal yarışmalarda madalyalar kazandıktan sonra, dünyanın en iyi teknik üniversitesi olan Massachusetts Institute of Technology'ye (MIT) kabul edilmiştir. MIT'de geçirdiği sadece üç yıllık kısa bir süre içinde Matematik ve Fizik bölümlerini çift anadal yaparak yüksek onurla bitirmiştir; bu süreçte lisans öğrencisi olmasına rağmen yirmi civarında lisansüstü ve doktora seviyesinde ders almış, sayılar teorisi, kombinatorik ve olasılık gibi zorlu alanlarda dokuz adet hakemli akademik makale yayımlamıştır. Lisans seviyesindeki bu benzersiz araştırmaları ona, Kuzey Amerika'nın en büyük matematik onurlarından biri olan prestijli Morgan Ödülü'nü ve Schafer Mükemmellik Ödülü'nü kazandırmıştır. Mezuniyetinin ardından saygın Rhodes Bursiyeri olarak İngiltere'deki Oxford Üniversitesi'ne gitmiş, Sinirbilim (Neuroscience) alanında yüksek lisans yaparak yapay zeka ve derin öğrenme (deep learning) araştırmalarına adım atmıştır. Akademik doyumsuzluğu onu daha sonra Stanford Üniversitesi'ne Hukuk ve Doktora (JD/PhD) ortak programına taşımış, ancak yapay zekanın matematikte sunduğu tarihi kırılma anını değerlendirmek üzere doktora eğitimini yarıda bırakarak Stanford'dan ayrılmış ve kendi şirketini kurma kararı almıştır.

Axiom Math ve Yapay Zeka ile Matematiksel Rönesans

Carina Hong tarafından 2025 yılının Mart ayında kurulan Axiom Math, makine öğrenimi modelleri, programlama dilleri (özellikle Lean gibi formel doğrulama dilleri) ve saf matematiği bir araya getiren devrim niteliğinde bir teknoloji platformudur. Geleneksel büyük dil modellerinin (LLM) matematikteki mantıksal halüsinasyon sorunlarını kesin bir şekilde çözen bu yaklaşım, matematiksel doğruluğu kanıtlanabilir, "süper zeki" ve siyah kutu (black-box) olmayan bir dijital matematikçi yaratmayı hedeflemektedir. Toplantı odalarına Gauss ve Ada Lovelace gibi tarihi figürlerin isimlerini veren Hong'un vizyoner liderliği o kadar etkili olmuştur ki, şirkete aralarında Meta FAIR, DeepMind ve Google Brain gibi dünya devlerinden gelen üst düzey yeteneklerin (örneğin OpenGo ve CrypTen projelerini yöneten CTO Shubho Sengupta) bulunduğu 17 kişilik elit bir araştırma ekibi kurmuştur.

Dev Yatırımlar ve Bilimsel Gelecek

Axiom Math, kuruluşundan birkaç ay sonra B Capital, Greycroft, Madrona ve Menlo Ventures gibi dev yatırımcılardan 300 milyon dolarlık değerleme üzerinden tam 64 milyon dolar tohum yatırımı (seed round) alarak Silikon Vadisi'nde büyük bir sükse yapmıştır. Carina Hong'un inşa ettiği bu şeffaf teknoloji; kantitatif finansal ticarette alfa keşfi, donanım mimarisi tasarımı, donanım/yazılım doğrulama ve en karmaşık sınır bilimsel araştırmalarında insan hatasını sıfıra indirmeyi vadetmekte, dünya çapında yeni bir bilimsel keşif çağının (matematiksel rönesans) kapılarını ardına kadar aralamaktadır.