OpenAI 372 matematik probleminin yapay zeka kanıtını yayımladı

OpenAI, matematik dünyasında uzun süredir açık duran 372 önemli probleme yönelik yapay zeka tarafından üretilen çözüm ve kanıtları yayımladı. Danışma kurulunda Timothy Gowers ve Edward Witten gibi saygın matematikçilerin yer aldığı çalışma kapsamında çözülen problemler arasında Subhash Khot'un Benzersiz Oyunlar Varsayımı (UGC) da bulunuyor. Yayımlanan kanıtların bir bölümü Lean doğrulama sertifikası içerirken, araştırmacılar çözümlerin insanlar tarafından anlaşılmasının ciddi bir çaba gerektirdiğini bildirdi.

Bilgisayar bilimci Scott Aaronson, modellerin yaklaşık 8 bin problem üzerinde denendiğini ve problem başına ortalama 3 saatlik işlem gücü harcandığını aktardı. Çözümler arasında L=BPL eşitliği, tam sayı çarpımının O(n log n) sınırının altına çekilmesi ve kuantum karmaşıklık teorisindeki Uniter Sentez Problemi gibi köklü başlıklar yer alıyor. Anthropic ise benzer bir süreçte 3SUM ve En Kısa Yol problemlerine dair bulguları bağımsız araştırmacılarla birlikte makaleleştirerek sundu.

Araştırmacılar, üretilen metinlerin alışılmışın dışında soyut yapılar ve karmaşık özyinelemeli yapılar barındırdığını, bu nedenle insanların kanıtları anlamlandırmak için yine yapay zeka araçlarından destek aldığını belirtti. P=NP veya Riemann Hipotezi gibi temel problemler henüz çözülmemiş olsa da kuramsal bilgisayar bilimi ve matematik toplulukları ortaya çıkan kanıtları incelemeye başladı.