According to Deep Tide TechFlow news, on November 26, AI startup Harmonic, co-founded by Robinhood CEO Vlad Tenev, completed a $120 million financing round, achieving a valuation of $1.45 billion. This round was led by Ribbit Capital, with participation from Sequoia, Kleiner Perkins, and new investor Emerson Collective.
Harmonic core technology “Mathematical Super Intelligence ( MSI )” is based on formal logic rather than statistical prediction, aiming to solve the AI hallucination problem. Its flagship model, Aristotle, has performed excellently in the International Mathematical Olympiad, reaching a level comparable to that of leading research labs like Google and OpenAI.
Aristotle generates verifiable reasoning steps through the Lean4 programming language, ensuring that conclusions are based on strict logic. This technology is particularly suitable for high-risk industries such as aerospace and finance. Currently, Aristotle is available to developers and mathematicians via a free API, with commercialization plans to be launched later.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
AI startup Harmonic raises $120 million in funding, reaching a valuation of $1.45 billion.
According to Deep Tide TechFlow news, on November 26, AI startup Harmonic, co-founded by Robinhood CEO Vlad Tenev, completed a $120 million financing round, achieving a valuation of $1.45 billion. This round was led by Ribbit Capital, with participation from Sequoia, Kleiner Perkins, and new investor Emerson Collective.
Harmonic core technology “Mathematical Super Intelligence ( MSI )” is based on formal logic rather than statistical prediction, aiming to solve the AI hallucination problem. Its flagship model, Aristotle, has performed excellently in the International Mathematical Olympiad, reaching a level comparable to that of leading research labs like Google and OpenAI.
Aristotle generates verifiable reasoning steps through the Lean4 programming language, ensuring that conclusions are based on strict logic. This technology is particularly suitable for high-risk industries such as aerospace and finance. Currently, Aristotle is available to developers and mathematicians via a free API, with commercialization plans to be launched later.