Harmonic advocates for human-defined AI benchmarks, and crypto investors should pay attention
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 stance with implicati…