“BREAKING: #OpenAI might have stolen another major proof.

#AndreasThom presents several pieces of evidence suggesting that OpenAI may have trained #Astra on conversations in which he and #GáborKun were working on Gromov’s #soficity conjecture, one of the ten problems OpenAI later announced […]