math/overview.pdf at main · openai/math
5 experts across 4 network communities independently surfaced this.
“(1/2) Contrary take on these dumps of math results: *if* these models are going to be built & released anyway, then better that the results come out like this, than that random users get the proofs out of the model and all try to claim credit & priority. gi…”
“I probably should have linked to this”