OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
tootie
40 points
2 comments
October 06, 2026
Related Discussions
Found 5 related stories in 94.2ms across 8,687 title embeddings via pgvector HNSW
- Mathematical manuscripts and supporting proof artifacts produced by OpenAI vikas-sharma · 42 pts · October 06, 2026 · 75% similar
- Mathematicians want proof OpenAI didn't use their work kevcampb · 76 pts · September 10, 2026 · 67% similar
- More questions about whether researchers can trust OpenAI with unpublished math pred_ · 769 pts · September 10, 2026 · 65% similar
- OpenAI Says It Has Cracked One of Math's 'Millennium Problems' doener · 13 pts · September 08, 2026 · 60% similar
- OpenAI stole mathematicians' private research from their own Codex chats nreece · 18 pts · September 08, 2026 · 60% similar
Discussion Highlights (1 comments)
hoppyhoppy2
Already posted at https://news.ycombinator.com/item?id=49984923