En dikkat çekici başarılar arasında Connes’in katılık varsayımının (rigidity conjecture) çürütülmesi ve matematikçi Paul Erdős tarafından başlangıçta ortaya atılan çok renkli Ramsey sayılarına ilişkin yeni sonuçlar yer alıyor.
Bu gelişmeler, yapay zeka altyapısının bir sohbet aracından bilimsel keşifler için gelişmiş bir motora dönüştüğünü gösteriyor.
Elde edilen sonuçların, gelecekteki kuantum bilgisayarlara karşı güvenli kalacak şekilde tasarlanan kuantum sonrası kriptografi ve kodlama teorisi gibi teknik alanlar üzerinde doğrudan etkileri bulunuyor.
OpenAI, bu çözümleri üretmek için gereken hesaplama maliyetinin mevcut API ücretleriyle yaklaşık 2.000 dolar tutacağını belirterek, yapay zeka modelleri ölçeklendikçe üst düzey teorik araştırmaların önemli ölçüde hızlanabileceğine ve maliyet etkin hale gelebileceğine işaret etti.
Bulguların doğruluğunu sağlamak adına model, argümanlarını matematiksel kanıtların mantıksal tutarlılığını onaylayan dijital dosyalar olan Lean sertifikalarına dönüştürdü.
Nihai makalelerin hazırlanmasında insan araştırmacılar destek verse de OpenAI, temel argümanların tamamen yapay zeka tarafından üretildiğini belirtti.
Şirket, araştırmaları teşvik etmek ve yapay zeka destekli bilimde bilimsel atıf etiğiyle ilgili süreçleri yönetmek amacıyla bu sonuçları ve modelin muhakeme süreçlerini akademik toplulukla paylaşıyor.