OpenAI released 722 AI-written math manuscripts across 372 problem families to a public GitHub repo, and researchers are mining them for new lemmas, constructions, and proof techniques. They've examined 38 of the families so…
#OpenAI #AImath #arXiv #OpenSourceAI
https://arxiv.org/abs/2610.17090
