OpenAI Kanıtın Geri Çekilmesinin Resmileştirilmesi
Özgün başlık: Formalization of the OpenAI Proof Withdrawal
OpenAI #39;s'in 2b4m denetimi geri çekildi #39;Bölünmüş değişmeli sekiz katlı Weil sınıflarının cebirselliği #39;: bir işarette farklılık gösteren iki zincir, biri Lemma 3.6'da başarılı ve diğeri başarısız. - ityonemo/ope...
✳ Bu özet ve çevirisi Base of AGI tarafından otomatik derlendi.
Orijinal Kaynak Metni (github.com) ↗
Akış içinde yorumlarla aç