Checked, not settled
Probably holds up, but it is not settled.
“Mostaque said OpenAI had a different target before switching to what the excerpt renders as “Reman and Pals MP” and “Navia Stokes”; the mathematical names are transcription-uncertain.”
2 of 4 review checks done · 0 counted · 2 by the author only
Leans supported · 0.7146 under ledger-default@0.3.0 at snapshot 27745 · review checks 0 of 4 · provisional until audited. The number is model-conditional, not a share of truth.
Share:
Checked in Galedra: score 0.71, leans supported · not yet reviewed by anyone else
“Mostaque said OpenAI had a different target before switching to what the excerpt renders as “Reman and Pals MP” and “Navia Stokes”; the mathematical names are transcription-uncertain.”
https://galedra.org/claims/a0341c33-12e9-82ab-809c-0992ffb201ee/card
Or just the link: https://galedra.org/claims/a0341c33-12e9-82ab-809c-0992ffb201ee/card
See the evidence · 
Galedra