Archive — US — techcrunch
Harmonic, the Robinhood CEO’s AI math startup, launches an AI chatbot app
Harmonic, co-founded by Robinhood CEO Vlad Tenev, has launched a beta version of its AI chatbot app, Aristotle, claiming to provide 'hallucination-free' answers for mathematical reasoning. The app aims to assist users in various math-dependent fields. Harmonic recently raised $100 million to further develop its technology, which formalizes answers using a programming language, ensuring accuracy akin to standards in high-stakes fields.
Key points
- Harmonic is an AI startup co-founded by Vlad Tenev, CEO of Robinhood.
- Launched a beta iOS and Android app called Aristotle for math-related queries.
- Claims to offer 'hallucination-free' answers, a significant challenge for AI models.
- Focuses on creating 'mathematical superintelligence' (MSI) for various math-related fields.
- Raised $100 million in Series B funding, valuing the company at $875 million.
- Aristotle uses Lean, an open-source programming language, to verify results algorithmically.
- Similar verification systems are used in critical fields like medicine and aviation.
- Achieved high performance on the 2025 International Math Olympiad, matching leading models.
Why it matters
- The rise of AI in providing accurate mathematical solutions aligns with increasing demand for reliable AI technologies.
- Current trends in AI focus on enhancing reasoning capabilities to meet industry needs across various sectors.
- Historical context shows that achieving reliable AI performance remains a significant hurdle in the tech industry.
- Similar endeavors by companies like Google and OpenAI reflect a competitive landscape striving for advancements in AI reasoning.
Harmonic's launch of Aristotle represents a promising step towards addressing AI reliability in mathematical reasoning, potentially transforming user interaction with AI technologies across various fields, amid ongoing challenges and competitive advancements in the sector.