The absolutely funny thing is, he is obligated precisely because the proof is very likely to be correct.
The alternative you are proposing implicitly is even crazier. OpenAI should not release a proof that is most likely correct so that it doesn’t burden others. What? It’s not about that guy dude. It’s about the society TM. One can’t delay progress because a guy may be burdened.
“Guys plz don’t release this thing that is absolutely correct but I’m kinda busy with other things ok?”
The alternative you are proposing implicitly is even crazier. OpenAI should not release a proof that is most likely correct so that it doesn’t burden others. What? It’s not about that guy dude. It’s about the society TM. One can’t delay progress because a guy may be burdened.
“Guys plz don’t release this thing that is absolutely correct but I’m kinda busy with other things ok?”