15 aydan az bir sürede Stanford'dan ayrılan bir girişimci tarafından kurulan bir startup, insan matematikçilerin genellikle on yıllarca süren bir süreçte çözebildiği birden fazla çözülmemiş matematik problemini bir AI sistemi kullanarak çözdüğünü ve çalışmasını akademik kurumlar tarafından kabul ettirdiğini iddia ediyor.
Palo Alto merkezli ve kurucusu Carina Hong tarafından yönetilen Axiom Math, AxiomProver sisteminin daha önce çözülememiş en az dört matematiksel problemi çözdüğünü söylüyor. Kanıtlar, Şubat 2026'da arXiv'e yüklendi, ancak Mayıs 2026'nın sonlarına kadar herhangi bir hakemli dergi yayınlanması doğrulanmadı — bu ayrım, makalenin sunumu tarafından gizleniyor.
Axiom'un aslında çözdüğü şey
AxiomProver tarafından çözülen sorular basit egzersizler değildir. Elde edilen sonuçlar arasında cebirsel geometrideki önemli sanıların ve Srinivasa Ramanujan'ın çalışmalarına bağlı olan Fel Sanısı'nın çözümleri yer alır. Çözülen sorulardan biri, 20 yıllık bir sayılar teorisi sanısını içerir.
İspatların en az biri, saf makine çıktısı değil, kurumsal matematikçilerle yapılan işbirliğinden kaynaklanmıştır.
Şirket, Lean kanıt asistanı aracılığıyla resmi doğrulama kullanır. AxiomProver, doğru olduğunu umarak bir kanıt gibi görünen metin üretmez; her adımda mantıksal geçerlilik için mekanik olarak kontrol edilen kanıtlar üretir. Bu resmi doğrulama katmanı, tipik büyük dil modellerinin çıktılarının sahip olmadığı inanırlık sağlar.
Para ve arkasındaki ekip
Axiom Math, Menlo Ventures öncülüğünde Seri A finansman turunda 200 milyon dolar topladı ve post-money değerlemesini 1,6 milyar dolara çıkardı. Bu, daha önceki 64 milyon dolarlık tohum sermaye yatırımlarının üzerine eklenerek toplam bilinen finansmanı 264 milyon dolara ulaştırdı. Hong, Mart 2025'te bu girişimi başlatmak için Stanford'da devam eden ortak J.D./Ph.D. programını bıraktı.
Ken Ono, Ramanujan'ın mirası ve modüler formlar üzerindeki çalışmaları ile bilinen önde gelen bir sayılar kuramcısı, Axiom Math'e kurucu matematikçi olarak katıldı.
Yapay zeka ve matematik için daha büyük resim
Axiom Math, boş bir ortamda çalışmıyor. Google'ın DeepMind'i, özellikle AlphaProof sistemiyle matematiksel akıl yürütme alanına girmeye devam ediyor.
Matematikçilerin, makalelerinin eşlerince incelenmesi süreci sırasında arXiv üzerinde ön baskılar yayınlaması standart bir uygulamadır; bu süreç aylar hatta yıllar sürebilir. Şubat 2026 tarihli arXiv gönderileri şu anda uzmanlar tarafından incelenmektedir ve Mayıs 2026 sonlarına kadar eşlerince incelenmiş yayınlar doğrulanmamıştır.