The guy was saying nothing, people have done computer work in fusion and they will use computers again!

Profound.

He was merely giving a shameless plug of whatever infra project he was involved in.

Congrats - it involves computers and fusion.

I have no problem with a shameless plug -- it's an interesting show of how things used to be -- but he claimed more than that

> a previous project that was sort of an ancestor to this

> it's all been done before

implying that the current work build on his work in some way, which I don't see.

Worth mentioning that many of the people on this project including Tom Hales jumped ship to Lean seeing as Mathematica needs an overhaul to accomodate a proof assistant.

Lean is the current project that is attracting attention from the math community for generating a computerized math heritage project - not Wolfram Inc.