Yes, the posts refer to a real event. On Oct 29 attackers drained about $6.3B from a Binance hot wallet across 10 chains, described by Binance as the largest crypto hack on record.
Asked Oct 30 during a White House pool spray, President Trump said the US is looking into it: "We're looking at that... They say they have it pretty much under control. We'll see," per BitcoinMagazine and DecryptMedia. Asked about North Korea, he said "we don't know" but "we're looking at it," per reporter Jennifer Jacobs.
The Lazarus link is attribution, not a US government finding. TRM Labs and Chainalysis attribute it with high confidence to North Korea's TraderTraitor group; Binance itself has not named a culprit. About $3B is frozen with issuers and partners, and Binance says it reserved over $6.34B in company funds to cover losses.