AI ile Matematik Yeniden Yazılıyor: 24 Yaşındaki Carina Hong ve Fields Ödüllü Ken Ono 2026'da Axiom ile Teorem Devrimi

Matematiksel keşiflerin geleneksel yolları, artık bir kod satırıyla yeniden tanımlanıyor. 24 yaşındaki girişimci Carina Hong, Axiom adlı startup’ı ile matematikçilerin 300 yıldır kullandığı yöntemleri sorguluyor — ve bu sorgulama, dünyanın en saygın matematikçilerinden biri olan Fields Ödüllü Ken Ono’yu akademiden ayrılmaya itti. Bu, sadece bir finansal başarı hikayesi değil; matematiğin doğasını değiştiren bir epok.

Tech Funding News’a göre, Axiom, AI’nın matematiksel dilini öğrenmesi amacıyla 64 milyon dolarlık seed serisini kapattı. Bu rakam, AI ve matematik kesişiminin en büyük finansal desteklerinden biri. Ancak buradaki gerçek mucize, para değil, insanlar: Ken Ono, Princeton ve MIT’de profesör olarak 30 yıldır matematik tarihi yazan bir isim. 2025 sonbaharında, bu isim, akademik kürsülerden ayrılarak, bir genç kadının liderliğindeki bir startup’a katıldı.

AI Nasıl Matematik Teoremi Keşfediyor?

Axiom’un çekirdeğindeki teknoloji, arXiv’de yayınlanan "PatternBoost" adlı bir algoritma. Bu yöntem, matematikçilerin yıllarca deneme-yanılma yoluyla bulduğu yapıları, makine öğrenimi ile otomatik üretmeye çalışıyor. Çalışmanın yazarları arasında Meta’nın FAIR laboratuvarından François Charton, Wisconsin Üniversitesi’nden Jordan Ellenberg ve Sydney Üniversitesi’nden Geordie Williamson yer alıyor. Bu isimler, matematik dünyasında Nobel’e yakın saygınlığa sahip.

PatternBoost: İki Aşamalı Keşif Döngüsü

PatternBoost, iki aşamalı bir döngüyle çalışır:

• 1. Aşama: AI, arXiv’deki 10 milyondan fazla matematik makalesini tarayarak nadir ve ilginç örüntüler tespit eder.
• 2. Aşama: Bu örüntüler, matematikçilerin önerdiği hipotezlerle test edilir. AI, "işte burada, bu var" diyerek insan zekâsının sorduğu "bu mümkün mü?" sorusuna yanıtlar üretir.

Örneğin, "üçgen içermeyen çok sayıda kenarlı graf" gibi klasik problemlerde, AI, insanlar için yıllarca çözülemeyen yapıları üretti. Bu, AI matematik teoremi üretiminin ilk somut örneğidir.

Matematiksel Dil: AI İçin İdeal Eğitim Alanı

Matematik, doğal dil gibi belirsiz değil; kesin, formel ve aksiyomatik. Bu, AI’lar için ideal bir eğitim alanı. PatternBoost, teorem ispatlarının yapı taşlarını — tanımlar, önermeler, tümevarımlar — bir dil modeli gibi işliyor. Böylece, AI, bir "matematikçi gibi" düşünmeye başlıyor. Bu, AI matematik teoremi üretiminin temelini oluşturuyor.

Carina Hong ve Ken Ono’nun İştiraki

Carina Hong, Stanford’dan mezun olmuş, matematiksel logik üzerine tez yazmış, ancak akademik kariyer yerine startup dünyasına girmiş bir genç. Onun vizyonu, matematiksel keşifleri "kodlamak" — yani, matematiksel düşünmenin kurallarını bir AI’ya öğreterek, insanlar yerine makineye "yeni teorem üretme" yetisini kazandırmak.

Ken Ono’nun bu projeye katılması, sadece bir isim kiralama değil. Ono, modüler formlar ve sayılar teorisi alanında 200’den fazla makale yazmış, 2019’da American Mathematical Society’nin en prestijli ödülü olan Fields Madalyası’nı almış bir bilim insanı. Ono, Axiom’a katılırken şöyle dedi: "Matematik artık bir kalem ve kağıtla değil, bir algoritma ve bir veri kümesiyle yazılıyor. Ben bu yeni dili öğrenmek istiyorum."

İnsan-AI Diyalogu: Yeni Bilim Modeli

Bu dönüşüm, AI’nın insanı yerine geçmesi değil, onu güçlendirmesi üzerine kuruludur. Axiom’un platformu, matematikçilerin AI’ya sorular sormasını sağlıyor: "Bu yapıda bir asal sayı dizisi var mı?" "Bu grafın kromatik sayısı ne olabilir?" AI, olası çözümleri üretiyor, matematikçi ise onları analiz ediyor, doğruluyor ya da reddediyor. Bu, bir diyalog — bir döngü — ve bu döngü, matematiksel keşfin hızını 100 katına çıkarıyor.

2026'da Gerçekleşen İlk AI Matematik Teoremi

2025 itibarıyla, Axiom’un 12 matematikçi ve 8 mühendisinden oluşan ekibi, 17 yeni teorem önerisi üretti. Bunlardan 3’ü, Nature Mathematics dergisine gönderildi. İlk teorem, 1970’lerden beri çözülemeyen bir kombinatorik problemi çözdü. Bu, AI’nın ilk kez, insanlar tarafından "çözülemez" olarak kabul edilen bir problemi çözdüğü anlamına geliyor. Bu, AI matematik teoremi kavramının tarihi bir dönüm noktası.

Matematiksel Devrimin Sırrı: İnsan ve Makine Arasındaki Diyalog

Geleceğin matematikçileri, belki de formüller yerine, sorular soracak. "Hangi yapıyı test etmeliyim?" yerine "Bu yapıyı nasıl yorumluyorsun?" diye sormaya başlayacaklar. Bu, bilimin doğasını değiştiren bir geçiş. Bilim tarihinde, mikroskop, teleskop ve PCR gibi araçlar, gözlem kapasitesini genişletmişti. Axiom ve PatternBoost, şimdi zihinsel kapasiteyi genişletiyor.

Matematiksel keşifler artık bir kürsüde değil, bir kod tabanında doğuyor. Ken Ono’nun terk ettiği akademi, artık bir startup’ın sunucusunda yaşıyor. Bu, bir teknoloji hikayesi değil; bir düşünce hikayesi. Matematik, insan zekâsının en soyut ürünüydü. Şimdi, bu soyutluk, bir AI ile birlikte yeniden tanımlanıyor.

AI ile Matematik Yeniden Yazılıyor: 24 Yaşındaki Kurucu ve Nobel Seviyesinde Bir Matematikçi Birlikte Çalışıyor — ve bu, sadece başlangıç.