Share on linkedin For the past year, Robinhood CEO Vlad Tenev has quietly been helping build Harmonic, a startup building an AI system to solve some of the world's toughest math problems.As good as many of the latest generative AI models are at language, they tend to be bad at math.Tenev is leading the funding for Harmonic and serving as its executive chairman, though he doesn't have an operational role at the Palo Alto-based company.
The 15-person startup has already achieved an 83% success rate on a key mathematical benchmark, known as F2F, when aided with computer algebra systems.Harmonic sees applications in areas such as aerospace, automotive,"As AI starts writing more and more code, we need systems to verify it," Achim told Axios. "There won't be enough humans."Tenev got his Stanford degree in math.