He did not say that they made such claims on LessWrong, where he would be able to publicly cite them. (I have seen/heard those claims in other contexts.)
If someone (supposedly) says something to you in private, and you report this (alleged) conversation in public, then as far as public knowledge is concerned, is not correct to say that it has “turned out to be straightforwardly true” that that (alleged) conversation took place. Nothing has “turned out” in any way; there’s just a claim that’s been made—that is all.
He did not say that they made such claims on LessWrong, where he would be able to publicly cite them. (I have seen/heard those claims in other contexts.)
If someone (supposedly) says something to you in private, and you report this (alleged) conversation in public, then as far as public knowledge is concerned, is not correct to say that it has “turned out to be straightforwardly true” that that (alleged) conversation took place. Nothing has “turned out” in any way; there’s just a claim that’s been made—that is all.