OpenAI's Math Proof Feat Questioned as Repackaged 2016 Paper

RexDouglass · x · 2026-08-08

A researcher points out that OpenAI's (Astra) recent mathematical proof feat appears to be more of a surface-level stitching of components. The LLM-generated proof hinges on a particular mathematical argument that it presented as its own, but which actually first appeared in a 2016 paper.

Original post →

More from Models

Models channel →