apparently openai has been holding back proofs for multiple millennium problems for a while now because they're worried about the backlash
roon is hinting at this too
but idk if he's just vagueposting or actually hinting at openai's results
I am worried about a situation in which rumors are constantly swirling about major results and your distance to the labs in the social graph distance determines...