Terra Power is bill gates venture. Its not really a gen 4 lftr company. Its closer to a gen 3 design.
The lftr designs date from the 1960’s and were done by Alvin Weinberg—head of oak ridge labratories at the time. They were moth balled along with the the working reactors in the 1979’s and rediscovered again by a nasa scientist named sorenson. He was looking for a nuclear design that could weather the hazards of space. Light water reactors won’t do that. lftr reactors will. lftr reactors won’t explode in space. So they are the correct design for mar or lunar expeditions. In order to publicize his finding —Sorenson put the designs online about 2005. In about 2010 the Chinese downloaded the old designs and started their own lftr program. I thik they have dedicated about 600 million to the program. Its something entirely seperate from their work with bill gates. sorenson currently has a company named flybe that is working with the DOE labs to develop an lftr reactor. there are three or four other companies doing the same thing.
As far as I can discern from surfing the net, this program is still in progress. Apparently, the Chinese were not a critical component of Gates's plans. I'm sure he will get plenty of support from the new administration.
As you are probably aware, the DOE is funding a demonstration program for a number of advanced reactors.