C*: Unifying Programming and the Navier–Stokes Millennium Prize Problem

The space is definitely heating up. Flux.ai being the incumbent Silixon based out of the news cycle of ai in math.