OpenAI, 722 matematik makalesini 372 sonuç grubu halinde yayımladı

OpenAI, kurum içi modellerinin ürettiği 722 matematik makalesini yayımlayacağını açıkladı. Makaleler 372 sonuç grubu altında toplandı; bazı kanıtlar Lean ile biçimselleştirildi.

OpenAI, X üzerinden kurum içi frontier modellerinin matematik alanındaki çalışmalarını paylaşacağını duyurdu. Araştırma sonuçları GitHub deposuna yüklendi. Şirket, yayımlama yöntemini matematik ve yapay zekâ danışma grubu olan Princeton İleri Araştırmalar Enstitüsü’nün önerilerini dikkate alarak hazırladığını belirtti.

Depodaki sonuç grupları; temel bulguları, bunlarla bağlantılı akıl yürütmeleri, türetilmiş sonuçları veya alternatif kanıtları bir araya getiriyor. OpenAI ayrıca modellerin akıl yürütme özetlerini ve denenen problem sayısı gibi sonuçlara ulaşma sürecine ilişkin bilgileri de paylaştı.

722 makalenin tamamı doğrulanmış matematiksel keşiflerden oluşmuyor. OpenAI, bazı kanıtları Lean ile biçimselleştirdiğini ancak sonuçların tümünün biçimsel doğrulamadan geçmediğini, biçimselleştirilmeyen bulgularda sorunlar bulunabileceğini açıkladı. Tespit edilen sorunları düzelteceğini de ekledi.

OpenAI, depoyu daha sonra güncellemeyi planladığını bildirdi. Biçimselleştirilmemiş bazı sonuçlarda hata bulunma ihtimali nedeniyle yayımlanan çalışmaların doğrulanmasına yönelik ilgi sürüyor.