FILE PHOTO: Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, has raised $120 million in new funding, valuing the corporate at $1.45 billion.
| Photo Credit: Reuters
Harmonic, a man-made intelligence startup co-founded by Robinhood CEO Vlad Tenev, has raised $120 million in new funding, valuing the corporate at $1.45 billion, because it tackles AI “hallucinations” — or incorrect or nonsensical solutions — by enhancing the flexibility to cause.
The Series C spherical for the pre-revenue startup was led by Ribbit Capital, with participation from current traders Sequoia and Kleiner Perkins. Laurene Powell Jobs’ funding agency Emerson Collective joined as a brand new backer.
The deal marks the corporate’s third main fundraising in 14 months, bringing its whole capital raised to $295 million, highlighting robust investor curiosity in startups attempting to make AI extra correct and dependable, even earlier than they’ve business merchandise.
Harmonic is creating what it calls “Mathematical Superintelligence” (MSI), a type of AI centered on superior reasoning that it claims is freed from hallucinations and different factual errors that plague many generative AI fashions.
It says its flagship mannequin, Aristotle, educated on artificial math proofs — computer-generated examples used to show problem-solving — achieved a top-level efficiency at the International Mathematical Olympiad in July alongside Google and OpenAI, a win that CEO Tudor Achim mentioned helped entice investor curiosity.
Founded in 2023, Harmonic says it may well obtain this by utilizing formal reasoning, requiring its AI to output its reasoning as pc code in the Lean4 programming language, which might be checked for correctness. The bulk of the brand new funding will go towards the immense computing energy required for coaching its fashions, in line with Achim.
By specializing in verifiable, error-free logic, Harmonic says it goals to construct belief for AI in safety-critical industries like aerospace and finance, the place errors can have extreme penalties.
“The elimination of hallucinations comes directly from the fact that we require our system to output reasoning as code instead of reasoning as English,” CEO Tudor Achim mentioned in an interview.
Harmonic at present presents its Aristotle mannequin to the general public by way of a free API, a instrument that lets builders plug the mannequin into their very own software program. The firm mentioned mathematicians and researchers have been utilizing the instrument to verify advanced proofs and speed up novel discoveries. Achim mentioned it should discover commercialization in the long run.
“I think there are certain areas of software development where safety and reliability are paramount,” he mentioned, including there’s additionally demand from safety-critical sectors similar to automotive and aerospace.
Published – November 26, 2025 10:19 am IST