Palo Alto merkezli girişim Axiom Math, yapay zeka sistemi AxiomProver'ın cebirsel geometri ve Fel'in Varsayımı gibi önemli matematiksel problemler de dahil olmak üzere birçok çözülmemiş matematik problemini çözdüğünü iddia ediyor. Carina Hong tarafından kurulan şirket, Şubat 2026'da arXiv'de yayımlanan yapay zeka tarafından oluşturulan ispatların hakem değerlendirmesinden geçtiğini belirtiyor, ancak henüz herhangi bir dergi yayını doğrulanmadı. Sistem, mantıksal geçerliliği sağlamak için resmi doğrulama kullanıyor ve bu yönüyle tipik yapay zeka çıktılarından ayrılıyor. Axiom Math, Menlo Ventures liderliğinde gerçekleşen son 200 milyon dolarlık Seri A turu dahil olmak üzere toplamda 264 milyon dolar fon topladı ve şirketin değerlemesi 1,6 milyar dolar olarak belirlendi. Girişimin ekibinde ünlü sayı teorisyeni Ken Ono da yer alıyor. Şirketin çalışmaları, Google'ın DeepMind AlphaProof gibi girişimlerde görülen yapay zeka destekli matematik araştırmalarındaki genel eğilimlerle uyumlu.