OpenAI, yıllar boyunca profesyonel matematikçilere meydan okuyan sorunlarla ilgili iç sınır AI modeli tarafından üretilen büyük bir matematiksel araştırma koleksiyonu yayınladı.
Şirket 6 Ekim'de yayımı ilan etti, sonuçları geniş bir matematik yelpazesini kapladı ve araştırmacılar tarafından incelemeye açık olarak yayınlanıyor.
Halk koleksiyonu, OpenAI'nın geliştirici topluluğuna göre 372 ile ilgili sonuç ailelere düzenlenen 722 el yazma içerir. Çalışma yaklaşık 4.000 matematiksel problemi içeren bir değerlendirmeden ortaya çıktı.
Verge koleksiyonun yayınlanmamış bir sınır modeli tarafından üretilen yüzlerce matematiksel sonucun geldiğini bildiriyor. Ancak yayın, her iddianın hemen belirlenmiş matematiksel gerçek olarak tedavi edilmesi gerektiği anlamına gelmez. Araştırmacılar kanıtları incelemeli ve bireysel sonuçların önemini ve yeniliğini belirlemeli.
Özellikle önemli bir özellik, OpenAI'nın Lean kullanarak birçok kanıtın formalizasyonları sağladığı, matematiksel kanıtların bilgisayar tarafından kontrol edilmesine izin veren bir programlama dilidir. Şirket, zamanla ek formalizasyonlar eklenecektir.
OpenAI ayrıca, dahil edilen hesaplamanın çarpıcı bir ölçüsü ortaya çıktı. Ortalama olarak, her sonuç, ChatGPT'nin yaklaşık üç saatine eşdeğer bir hesaplama gerekir. İç modeli kullanarak Pro thinking.
Yayın, AI'nın matematike katkıda bulunma yeteneği hakkında giderek dramatik iddialar takip ediyor. Eylül ayında, OpenAI aynı daha geniş araştırma çabasının 100 uzun süredir açık problemlerden daha fazla çözülmesi gerektiğini söyledi, şirketin bu tür keşiflerin nasıl gözden geçirilmesi ve iletişim kurması gerektiğini belirtti.
Bu danışmanlık grubu Stanford, Harvard, Oxford, Cambridge, Berkeley ve Institute for Advanced Study dahil kurumlardan matematikçiler içerir. Onun rolü sadece OpenAI'nın işini desteklemek değil, bağımsız olarak önem, araştırma standartları ve sorumlu açıklama tavsiye etmektir.
Daha büyük soru şu anda AI'nın zor matematik soruları cevaplayabileceğinin ötesine geçiyor.
Eğer bağımsız matematikçiler bu çalışmanın önemli kısımlarını doğrularsa, yeni sınır, insanların zaten bilmediği matematiği rutin olarak keşfeder.
