math
openai/math
openai/math adalah koleksi manuskrip matematika dan artefak bukti yang dihasilkan AI OpenAI, termasuk ratusan preprint pembuktian dan counterexample. Kenapa masuk daftar: repo ini dibuat pada 6 Oktober 2026 dan lima thread Hacker News di hari yang sama membahasnya, salah satunya meraih 110 poin.
★ 13,5 rb
Bintang
⑂ 1,5 rb
Fork
Lean
Bahasa utama
1×
Masuk edisi
AI / ML
Instalasi
Perintah instalasi yang terverifikasi untuk math:
git clone https://github.com/openai/math.gitVideo
Lihat review dan tutorial math di YouTube:
Cari video review di YouTubeRiwayat peringkat
Perjalanan math di kurasi pensourceid:
