Checked, not settled
Probably holds up, but it is not settled.
“Mostaque said that people he knows at OpenAI told him the model was taking down “all sorts of problems that were previously intractable”; the excerpt does not identify the model, enumerate problems, or specifically establish results beyond Navier-Stokes.”
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 that people he knows at OpenAI told him the model was taking down “all sorts of problems that were previously intractable”; the excerpt does not identify the model, enumerate problems…”
https://galedra.org/claims/424f1794-955b-8b32-84d4-57335ba1838a/card
Or just the link: https://galedra.org/claims/424f1794-955b-8b32-84d4-57335ba1838a/card
See the evidence · 
Galedra