OpenAI GitHub'de yapay zeka tarafından oluşturulan 372 matematik kanıtını yayınlayarak akademik dünyaya ayak uydurmasını söylüyor
Özgün başlık: OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI, makine doğrulaması için Yalın formalizasyonlar da dahil olmak üzere, GitHub'de yapay zeka tarafından oluşturulan 372 matematiksel sonuç yayınladı. Her sonuç ortalama olarak yaklaşık üç saatlik ChatGPT Pro hesaplama tüketiyordu. Ancak 25 Fields Madalyası kazananı, seri üretime sahip matematiksel gerçeklerin yeni fikirleri hayata geçirmek yerine verimli toprakları yok edebileceği konusunda uyarıyor. OpenAI makalesi, GitHub'de yapay zeka tarafından oluşturulan 372 matematik kanıtını yayınlayarak akademik dünyaya ayak uydurmasını söylüyor ve ilk olarak The Decoder'da yayınlandı.
✳ Bu özet ve çevirisi Base of AGI tarafından otomatik derlendi.
Orijinal Kaynak Metni (the-decoder.com) ↗
Akış içinde yorumlarla aç