Harmonic AI

Harmonic AI, a Palo Alto-based company building a mathematical reasoning engine called Aristotle that uses Lean4 and reinforcement learning, is hiring a Research Engineer for its Formal Methods team t…

Harmonic AI, the $1.45 billion formal reasoning startup co-founded by Robinhood's Vlad Tenev and Tudor Achim, argues that AI benchmarks should be human-defined rather than generated by AI systems, a s…