OpenAI kanıtını birkaç saat içinde %25 oranında azaltmak
Özgün başlık: Reducing an OpenAI proof by 25% in a few hours
Bu Yalın kanıtı tekrar tekrar basitleştirin/küçültün: %24,65 daha az temel satır; aynı korumalı teorem, yeni çekirdek doğrulaması. - çevrimdışı karınca/peruklu-geçirmez döngü
✳ Bu özet ve çevirisi Base of AGI tarafından otomatik derlendi.
Orijinal Kaynak Metni (github.com) ↗
Akış içinde yorumlarla aç