Harmonic AI Pushes for Human-Defined Benchmarks in Artificial Intelligence

Harmonic AI, co-founded by Robinhood's Vlad Tenev and Tudor Achim, is pushing for human-defined benchmarks in artificial intelligence. The company argues that these standards should be created by humans, not generated by other AI systems.

The implications of Harmonic's work extend beyond the AI research bubble, as crypto and DeFi protocols increasingly embed AI agents into trading systems, risk models, and smart contract auditing tools.

Harmonic's core product is Aristotle, a formal reasoning system that produces mathematically verifiable outputs. This is in contrast to other AI systems that can only provide probabilistic results.

The company has achieved gold medal-level performance at the 2025 International Mathematical Olympiad and scored 96.8% on the VERINA code verification benchmark in December 2025.