Meta'dan üst düzey yetenekleri bünyesine katan Axiom Math, yapay zeka destekli bir matematik dehası oluşturmak için 64 milyon dolar tohum yatırım aldı.

---

01 Ekim 2025, 12:14

24 yaşındaki Carina Hong, Mart 2025'te Axiom Math'i kurdu ve matematik odaklı bir yapay zeka modeli geliştirmek için çoğu Meta'dan gelen on kişilik bir ekip oluşturdu.

ABD'de geçen sene sonbaharda, Stanford Üniversitesi’nde doktora öğrencisi olan Carina Hong, hafta sonlarını kampüse yakın bir Verve Coffee Roasters kafesinde matematik araştırma makalelerini inceleyerek geçiriyordu. Kafenin ortak masalarından birinde, Meta'da büyük dil modelleri üzerinde çalışan yapay zeka araştırmacısı Shubho Sengupta ile sohbete başladı. İkili, kendi uzmanlık alanlarının kesişiminden ve dünyanın en zor matematik problemlerini çözebilecek ve yenilerini keşfedebilecek bir yapay zeka geliştirme ihtimalinden saatlerce bahsetti.

Hong, bu sohbetlerden kısa bir süre sonra Stanford’dan ayrılarak Axiom Math adlı girişimini kurdu. Erken aşama bir startup olan Axiom Math, karmaşık matematik sorularını çözebilen, cevaba ulaşırken izlediği adımların detaylı ispatlarını oluşturabilen ve kendi çalışmalarını denetleyebilen bir “yapay zeka matematikçisi” geliştirmeyi hedefliyor. Bu fikir; ders kitaplarından, arşivlenmiş makalelerden ve dergilerden alınan İngilizce matematik metinlerini bir yazılım programına dönüştürerek yapay zekanın yeni problemler oluşturmasını ve çözümlerin resmi olarak test edilip doğrulanmasını mümkün kılmayı amaçlıyor. Hong’un nihai hedefi, bu modelin varsayımlar (henüz ispatlanmamış ama doğru olduğu düşünülen teoriler) önererek tamamen yeni bilgiler üretmesi.

Forbes'a konuşan Hong, “Matematik, süper zeka inşa etmek için mükemmel bir oyun alanı" dedi. Girişimi şu anda 300 milyon dolar değerinde ve B Capital liderliğinde, Greycroft, Madrona ve Menlo Ventures gibi yatırım firmalarının katılımıyla 64 milyon dolar tohum yatırımı aldı.

Henüz bir yıl bile geçmeden, Hong girişimi için çoğu Meta’nın Fundamental AI Research (FAIR) laboratuvarından gelen deneyimli teknoloji uzmanlarını ekibine kattı. Axiom Math’in 10 kişilik tam zamanlı çalışan kadrosunda şu isimler yer alıyor: Daha önce Meta'da büyük dil modellerinin matematik ve teorik fizik alanındaki kullanımı üzerine çalışan ve geçen yıl 100 yıllık bir matematik problemini çözen Francois Charton; Meta’da yapay zeka güvenliği ve adaleti konularında araştırmalar yürüten Aram Markosyan; ve derin öğrenmeyi kod üretiminde ilk kullananlardan biri olan eski Meta araştırmacısı Hugh Leather. Bu hamleler, Meta’nın OpenAI ve diğer öncü yapay zeka laboratuvarlarından üst düzey yetenekleri çekmek için 100 milyon dolarlık maaş paketleri sunduğu bir dönemde gerçekleşti. Ancak Forbes’un haberine göre bu yüksek profilli işe alım sürecine rağmen Meta, önemli yapay zeka araştırmacılarını kaybetmeye devam ediyor.