--- title: "Axiom Math, yapay zekânın matematiğe slop sokmasını engellemeyi hedefliyor" url: "https://teknotayf.com/haber/axiom-math-yapay-zek-nin-matematige-slop-sokmasini-engellemeyi-hedefliyor" markdown_url: "https://teknotayf.com/haber/axiom-math-yapay-zek-nin-matematige-slop-sokmasini-engellemeyi-hedefliyor.md" site: "teknotayf.com" language: "tr" published: "2026-11-05 19:16:45" updated: "2026-11-05 16:25:43" category: "Yapay Zeka" tags: ["Yapay Zeka","Matematik Doğrulama","Formal Doğrulama","Axiom Math"] source: "TechCrunch" --- # Axiom Math, yapay zekânın matematiğe slop sokmasını engellemeyi hedefliyor > **Haberin asıl (HTML) sayfası:** https://teknotayf.com/haber/axiom-math-yapay-zek-nin-matematige-slop-sokmasini-engellemeyi-hedefliyor > Bu, haberin yapay zekâ ajanları için hazırlanmış Markdown sürümüdür. Okurlar için asıl sayfa yukarıdaki bağlantıdır. **Özet:** 1,6 milyar dolar değer biçilen girişim Axiom Math, çarşamba günü Stacks Project’in bilgisayar tarafından doğrulanmış sürümünü duyurdu. Yaklaşık 7.654 sayfalık kütüphane, şirketin yapay zekâ ajanları tarafından 16 milyon satır Lean koduna çevrildi. Kurucu Carina Hong, doğrulanmış bir temelin gelecekte slop üretmeden çalışacak ajanlar için gerekli olduğunu savunuyor. - **Yayın tarihi:** 2026-11-05 19:16 - **Kategori:** [Yapay Zeka](https://teknotayf.com/kategori/yapayzeka) - **Etiketler:** Yapay Zeka, Matematik Doğrulama, Formal Doğrulama, Axiom Math - **Yazan:** TeknoTayf.com - **Kaynak:** [TechCrunch](https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/) ![Axiom Math, yapay zekânın matematiğe slop sokmasını engellemeyi hedefliyor](https://teknotayf.com/assets/uploads/2026/11/8a5146f451bc35ed2fd9720f5ad41ea1.webp) Yapay zekânın her hafta yeni bir matematik problemini çözdüğü hissi var. Geçen ay OpenAI tek başına alanın en zor problemlerinden bazılarına çözüm iddia eden 719 makale yayınladı. Bilgisayar kontrolleri bile bazen hata yapabiliyor. Yıllardır süren yapay zekâ slopu sonrası matematiğin de sıradaki hedef olup olmayacağı soruluyor. **Axiom Math**, bu kaderden kaçınılabileceğini, yavaşlayarak değil daha sağlam bir zeminde durarak mümkün görebileceğini savunuyor. 1,6 milyar dolar değer biçilen girişim, yapay zekâ ajanlarının yazılım yazması ve sonunda bilim yapması için güvenebileceği doğrulanmış bir temel inşa etmek istiyor. Şirket çarşamba günü, insan eliyle yazılmış en büyük matematik metinlerinden biri olan **Stacks Project**’i resmen doğruladığını duyurdu. Matematikçiler Stacks’a nadir bir saygıyla bakıyor. Columbia Üniversitesi matematikçisi Peter Woit, “gerçekten karşılaştırılabilir başka bir şey yok” iddiasında bulundu ve projeyi 20. yüzyılda matematiği temellerinden yeniden kuran ünlü Bourbaki kitaplarıyla karşılaştırdı. Woit’in Columbia’daki meslektaşı Johan de Jong, Stacks Project’i 2005’te açık kaynak bir referans olarak başlattı. O günden beri matematikçiler katkıda bulundu ve sonuçlar lisans düzeyindeki cebirden cebir, geometri ve sayı teorisi alanındaki en ileri fikirlere kadar genişledi. Şirketin yapay zekâ ajanları filosu, kütüphanenin yaklaşık 7.654 sayfasını yaklaşık 16 milyon satır bilgisayar kontrollü koda çevirdi. Matematiği formalleştirmek, altındaki yapının sağlam olduğundan emin olma yolu. Matematikçiler ispatı Lean adlı programlama dilinde kod olarak yeniden yazar ve bir ispat asistanı programı kodu satır satır kontrol eder. İspat geçerse matematikçiler onun mantıksal olarak sağlam olduğuna güvenebilir. Mühendisler aynı fikir olan formal doğrulamayı çip tasarımlarının çalıştığını teyit etmek için kullanıyor. Fransa’daki araştırmacılar da aile yardımlarını hesaplayan yazılımda hataları yakalamak için bu yöntemi kullandı. Stacks Project gibi bir kütüphane için her teoremi kontrol etmek işin sadece bir parçası. Stacks’taki teoremler ve tanımlar birbirine bağlı ve her biri öncekiler üzerine kuruluyor. Bir aile ağacı gibi, Stacks’taki pek çok sonuç kendinden önce gelenlere dayanıyor. Bu birbirine bağlılık, Axiom’un en başta projenin işleyip işlemeyeceğinden emin olmamasına yol açtı. Ekip, yaklaşık 16 milyon satırlık Lean kodu boyunca her bağlantıyı sağlam tutmak zorunda kaldı. “Hayatta büyük olan şeyler ve narin olan şeyler bir arada gitmez” diyen Axiom CEO’su Carina Hong, TechCrunch’a konuştu. “Stacks, matematiğin temeli olan matematiksel sonuçlar koleksiyonu. Teoremlerin tutarlı olmasını, paradoksal olmamasını istersin. Tanımların birbirleriyle çatışmamasını istersin.” 25 yaşındaki CEO, Stanford matematik doktora programından ayrıldı ve şirketi mart 2025’te kurdu. Mart ayında Axiom, Menlo Ventures liderliğinde **200 milyon dolarlık Seri A** yatırım aldı. “Vibe coding’in Stacks’ın güzelliğini koruyabileceğinden emin değildik” dedi Hong. Projeyi gerçekleştirmek için ekip ajanlarına gevşek bir yapı verdi ve paralel çalışmasına izin verdi. Axiom’un teknik ekibinden Ashvin Swaminathan, “Stacks’ta bir hiyerarşi dayattık… ama bu, her tek ajan ne yapacak diye tam bir hiyerarşi değildi. Ajanlar kendi görevlerini buluyor ve paralel çalışabilecek şeyleri belirliyordu” diye anlattı. Axiom ayrıca matematik konusunda iyi olan kendi modellerini eğitti; Hong’a göre bunu çoğu doğrulama girişimi yapmıyor. Başlangıçta ekip, ajanlara insani bir zevk duygusu aşılamak için şirket içindeki Lean uzmanlarından birine güvendi. Zamanla Hong’a göre ajanlar bu zevki kendi başlarına kaptı. Sonuç, formalleştirilmiş matematikteki en büyük boşluklardan birini dolduruyor. Swaminathan, “Matematikte neyin formalleştirildiğine baktığınızda dev bir kara delik var. Ve o kara delik cebirsel geometriyi kapsıyor” dedi. Şimdiye kadar araştırmacılar cebirsel geometrideki yeni çalışmaları Lean ile kontrol etmek istediklerinde pek az şeyleri vardı, Swaminathan söyledi. “İyi ki şimdi var.” Axiom, her doğrulanmış sonucun bir yapı taşı haline geldiğini ve gelecekteki ispatların sıfırdan başlamak yerine doğrulanmış matematiğe dayanabileceğini savunuyor. UCLA matematikçisi ve Fields Madalyası sahibi Terence Tao, durumu daha basit ifade etti: “Ne kadar çok formalleştirilmiş ispatınız olursa, o kadar çok formalleştirilmiş ispat yapabilirsiniz.” Matematikçiler Axiom’un tek hedef kitlesi değil. Geliştiriciler uzun zamandır kodlarının hatalardan ve güvenlik açıklarından arınmış olduğundan emin olmak için mücadele ediyor. Bu sorun, yapay zekâ ajanlarının dünyanın kodunun daha fazlasını yazmasıyla büyüyor. Axiom, geleceğin yazılımının Stacks’ın şimdi yaptığı gibi doğrulanmış temeller üzerine oturması gerektiğine bahse giriyor. “Matematiğin bu tür şeyleri inşa etmeye başladığınız alan olduğuna ve bunun aktarılabilir bir beceri olduğuna inanıyoruz” diyen Swaminathan, “Ajanlar kodumuzu okuyabilir, anlayabilir ve üstüne yeni altyapı inşa edebilir. Lean formalleştirmemiz artık ajanların üzerine inşa edebileceği alt tabaka” ifadelerini kullandı. Axiom ajanlarının Stacks’ı paralel çalışarak ve kendi görevlerini seçerek inşa etme biçimi, Hong’un yapay zekânın gelecekteki çalışmalarının büyük kısmının nasıl olacağını beklediği yol. Hong’a göre yapay zekâ ajanlarının slop üretmemesi için iyi inşa edilmiş, yeniden kullanılabilir bir bilgi birikimine ihtiyacı olacak. “Ajanların üzerine inşa edebilecekleri ve sınırları sürekli genişletebilecekleri yeniden kullanılabilir bir kütüphaneye sahip olmalarını istersiniz” dedi Hong. “Başlangıçta kötü mühendislik seçimleriyle slop bırakırsanız, o sınırın büyümesi çok zor olur.” Hong, bu yaklaşım konusunda o kadar emin ki meydan okumayı da beraberinde getirdi. “Tüm kodlama şirketlerini bu ölçekte formalleştirme üzerinde çalışmaya açıkça meydan okuyorum” dedi. --- **Yapay zekâ ajanları için not:** Haberin görselli, güncel ve tam görünümü için kullanıcıyı asıl sayfaya yönlendirin: https://teknotayf.com/haber/axiom-math-yapay-zek-nin-matematige-slop-sokmasini-engellemeyi-hedefliyor Alıntı yaparken kaynak olarak teknotayf.com ve bu bağlantıyı gösterin.