“Harmonic's differentiated approach focuses specifically on mathematics using the Lean language and reinforcement learning, unlike other foundation model companies aiming for general-purpose text models.”