Sonuçlar, Şirketin Bir Sonraki Büyük Modeli Astra'nın Dahili Bir Sürümüyle Elde Edildi

OpenAI, matematik ve teorik bilgisayar biliminde uzun süredir çözülemeyen on problemi çözdüğünü veya önemli ilerleme kaydettiğini duyurdu. Sonuçlar, şirketin bir sonraki büyük modeli Astra'nın dahili bir sürümüyle elde edildi. Çözümleri bulmak için gereken toplam token sayısının Sol API oranlarında yaklaşık 2.000 dolara mal olacağı belirtildi.

Argümanlar daha sonra insanlar tarafından aynı modelle makalelere dönüştürüldü ve her argüman Lean sertifikasıyla doğrulandı. OpenAI, her çözüm için modelin düşünce sürecini anlatan bir anlatım da yayınlıyor. Şirket, Mayıs ayında Erdős birim mesafe varsayımının AI tarafından üretilen bir çürütmesini paylaşmıştı.

Bu çalışma, matematik ve teorik bilgisayar biliminde daha fazla gelişmeye ilham verdi. OpenAI, 100.000 bilim insanı ve matematikçiye en iyi ChatGPT modellerine ücretsiz erişim sağlayan Akademik Araştırmacılar için ChatGPT girişimini duyurdu. Şirket, AI'nın matematikteki rolü konusunda endişeleri anladığını ve Leiden bildirgesini imzalayanlara saygı duyduğunu belirtti. OpenAI, tamamen AI sistemi tarafından üretilen bir kanıt için insan yazarlığı iddia etmenin yanlış olacağını, makalelerin hazırlanmasına ve kanıtların Lean'de resmileştirilmesine yardımcı olduklarını ve doğruluklarından sorumlu olduklarını, ancak matematiksel argümanların sistem tarafından üretildiğini ifade etti.