Benchmarks
Mathematicians find a mismatch in the OpenAI Navier-Stokes proofs
In one lemma, the Lean proof includes more values than the proof in natural language.
newscientist.comClaimed, not confirmed
Tag
ChatGPT
2 stories carry this tag.
Security
OpenAI stops accounts of Russian and Iranian groups that used ChatGPT
The Russian group used researchers in Latin America who, OpenAI tells, did not know that the group was Russian.