Mathematical manuscripts and supporting proof artifacts produced by OpenAI
By vikas-sharma · 2026-10-06 · 40 points · 0 comments
https://github.com/openai/math
By vikas-sharma · 40 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews