Definitely, and a lot of that haircut actually happened in between when the deal was signed and when it closed, too. That was right when interest rates went up and Musk tried to wriggle out of the purchase agreement. So it's a great outcome for Twitter investors, assuming it sticks.
Also - the wording on the deal:
xAI being valued at 80B
X being valued at 33B
Is the xAI 80B number inclusive of the 33B (45B including debt)?
That would back into xAI's valuation moving backwards since the December round.
Usually when venture-backed companies tout a valuation after a capital raise, it's post-money... and they're not chest-thumping a 113B number (which they surely would have given 9 figures)