Axiom Math, AI Çöplüğünü Matematikten Uzak Tutmak İstiyor

Yapay zekanın her hafta yeni bir matematik problemi çözdüğü hissi uyandırıyor. Geçen ay sadece OpenAI, alanın en zor problemlerinden bazılarına çözüm sunduğunu iddia eden 719 makale yayınladı. Bilgisayar kontrolleri bile hata yapabilir. Yıllarca süren yapay zeka kalitesizliğinden sonra, sıradakinin matematik olup olmadığını merak etmek oldukça doğal.

AxiomMath, matematiğin bu kaderden kaçınabileceğine, yavaşlayarak değil, daha sağlam bir zeminde durarak inanıyor. $1.6B startup, yapay zeka ajanlarının yazılım yazmak ve nihayetinde bilim yapmak için güvenebileceği doğrulanmış bir temel oluşturmak istiyor.

Çarşamba günü şirket, bugüne kadar insanlar tarafından yazılmış en büyük matematik derlemelerinden biri olan Stacks Project'i resmi olarak doğruladığını duyurdu. Matematikçiler genellikle Stacks'e nadir bir saygı duyar; Columbia matematikçisi Peter Woit, projeyi 20. yüzyılda matematiği temellerinden yeniden inşa eden bir seri olan "ünlü Bourbaki kitapları"na benzeterek "gerçekten kıyaslanabilecek başka hiçbir şey olmadığını" iddia etti.

Woit’in Columbia’daki meslektaşı Johan de Jong, Stacks Project'i 2005 yılında açık kaynaklı bir referans olarak başlattı. Matematikçiler o zamandan beri, üniversite düzeyindeki cebirden başlayarak cebir, geometri ve sayılar teorisindeki en ileri fikirlere kadar sonuçlar geliştirerek projeye katkıda bulundular.