Oct 6, 2026 23:21 UTC
hacker news
https://news.ycombinator.com/item?id=49984976
An OpenAI GitHub repo titled "Mathematical manuscripts and supporting proof artifacts produced by OpenAI" is gaining traction on Hacker News.
READY TO POST:
openai has a new github repo, 'mathematical manuscripts and supporting proof artifacts.' getting some buzz on hn.
seeing some hn velocity around an openai github repo related to math and proof artifacts. interesting...