Matematikteki yapay zekâ ilerlemesini paylaşma

OpenAI, kurum içi gelişmiş bir modelin açık matematik problemlerine ilişkin yeni sonuçlarını yayımlıyor; Lean ispat biçimselleştirmelerini ve araştırma ayrıntılarını GitHub’da paylaşıyor.

Orijinal kaynağın dili · İngilizce

Kontrol edildi · 10 Ekim 2026