OpenAI, bu hafta zor matematik problemlerine ait yüzlerce iddia edilen çözümü yayınlarken matematik camiasının standartlarını karşılayamadı ve seçkin matematikçilerden oluşan bir danışma grubunun belirlediği yönergelere uymadı. Matematik ve Yapay Zeka Danışma Grubu (AGMAI), OpenAI'nin uyumunu değerlendirmenin matematik topluluğunun sorumluluğunda olduğunu belirterek, laboratuvarın durdurma talebine rağmen özel modellerde ileri düzey problemleri test ettiğini vurguladı. Ayrıca, kanıtların yalnızca %42'si resmileştirildi ve 719 el yazması içinde sadece 10 tanesinde modelin düşünce zinciri yer aldı; insan anlayışı ve doğal dili resmi artefaktlarla ilişkilendiren makine‑okunur meta veriler ise büyük ölçüde eksikti.
Cambridge Üniversitesi ve King's College London'dan matematikçilerin yeni bir makalesi, Navier‑Stokes denklemlerinden türetilen bir OpenAI çözümünde doğal dil ile resmi olarak ifade edilen çözümler arasındaki endişe verici boşlukları vurguladı. Modeller, doğal dil kanıtlarını Lean programlama diline çeviriyor, ancak araştırmacılar, insan müdahalesi olmadan modellerin kendi çözümlerini resmileştirebileceğine dair şüphe uyandıran tutarsızlıklar buldu. Ünlü matematikçi Terence Tao, sosyal medyada bu yaklaşımı eleştirerek, yapay zeka komutlayıcılarının çıktıyı yeterince anlamadan, alanın geri kalanıyla etkileşime girecek düzeyde bağımsız olarak problemleri çözdüklerini belirtti.
Bu, matematik topluluğunun karmaşık problemler için yapay zekâ tarafından üretilen kanıtlarda insan anlayışı ve titiz doğrulama talep etmesi nedeniyle önemlidir; bu durum, öncü laboratuvarlar ile geleneksel bilimsel standartlar arasındaki artan sürtüşmeyi gözler önüne seriyor.