

It is sarcastic. But it is also what OpenAI tried.
The reason they just drop these and say nothing is because these are unverified slop.
OpenAI’s method of verification is rewrite them as Lean proofs that can be verified by computers. Two things have happened so far:
- The Lean proof proved the slop wrong, easy, retract.
- The Lean proof, being generated by a LLM, is susceptible to hallucinations. For example the Navier Stokes problem Lean proof turned out to be slightly different than the original natural language proof, because the LLM tried to bend a condition to make the proof compile.
But, in case nobody found any problem, OpenAI gets to claim credit for the discovery until someone can review and prove something’s wrong.
You can say these proofs are “Schrodinger’s correct”


There is a switch in google account security on the web to turn this off, I did so a long time ago and thankfully, it stayed off on the phone. I think this new settings is just bringing it to the phone UI.
But at this point best thing to do is block all google play updates before they roll out the complete block for external app installation to more countries.