Maybe, personally I think they sold to Intel cheap to discourage them from investing heavily in production. Which of course they did anyway.
But I wouldn’t be surprised if the price they had with TSMC with the steep discount, would be cheaper than Intels own production.