Mathematical manuscripts and supporting proof artifacts produced by OpenAI
vikas-sharma
42 points
0 comments
October 06, 2026
Related Discussions
Found 5 related stories in 92.9ms across 8,687 title embeddings via pgvector HNSW
- OpenAI just dropped 700 preprints of mathematical proofs and counterexamples tootie · 40 pts · October 06, 2026 · 75% similar
- Mathematicians want proof OpenAI didn't use their work kevcampb · 76 pts · September 10, 2026 · 72% similar
- More questions about whether researchers can trust OpenAI with unpublished math pred_ · 769 pts · September 10, 2026 · 65% similar
- Sharing AI progress in mathematics OfficialTurkey · 698 pts · October 06, 2026 · 61% similar
- Mathematics in the age of AI jonbaer · 142 pts · August 19, 2026 · 60% similar