Maths: OpenAI posted 722 AI proofs, 42% machine-checked
This story is from 2026-10-14. It is preserved in the archive; the latest stories are on the live feed.
First published in GetPack Magazine , sourced guides to use AI well as a student. On October 6, 2026, OpenAI posted 722 mathematics manuscripts on GitHub, written by an internal model nobody can use. The next day, three were withdrawn: a sign error. Behind the row sits a question you meet in every…
Read the full story at DEV Community — AI ↗
Timeline · 1 report
- 2026-10-14 07:35 · DEV Community — AI
Maths: OpenAI posted 722 AI proofs, 42% machine-checked