Matematikte yapay zeka ilerlemesini paylaşma
Özgün başlık: Sharing AI progress in mathematics
OpenAI bir iç sınır modelinden matematikteki açık problemlere ilişkin yeni sonuçlar yayınlar ve GitHub'de Yalın kanıt formalizasyonlarını ve araştırma ayrıntılarını paylaşır.
✳ Bu özet ve çevirisi Base of AGI tarafından otomatik derlendi.
Orijinal Kaynak Metni (openai.com) ↗
Akış içinde yorumlarla aç