Core Insights - Nvidia has joined the investor group of startup Harmonic, which focuses on developing AI systems for solving mathematical problems [1][4] - Harmonic's AI model, named "Aristotle," shows potential not only in tackling mathematical challenges but also in code writing and chip design [4][5] Funding and Valuation - Nvidia participated in Harmonic's Series C funding round, which raised $120 million, bringing the company's valuation to $1.45 billion [4] - New investor Emerson Collective joined existing investors such as Ribbit Capital, Sequoia Capital, and Index Ventures in this funding round [4] Market Potential and Technology - There is significant market space for AI systems capable of formal verification of computational results, despite the strong performance of large language models in math competitions [3] - Harmonic's technology not only solves problems but also presents a verifiable reasoning process, distinguishing it from traditional large language models [5] Company Growth and Future Plans - Harmonic plans to expand its team from fewer than 30 employees to between 50 and 75, with most funding allocated for computational resource costs [4] - The company's API is currently in a free testing phase, with no set timeline for the paid launch or pricing model for "Aristotle" [5]

金十数据7月11日讯，Robinhood首席执行官特内夫创立的人工智能初创公司Harmonic AI已经筹集了1亿 美元的资金，用于解决有时会困扰人工智能模型的问题：数学。Harmonic AI的B轮融资对该公司的估值 为8.75亿美元。Harmonic计划在今年晚些时候向研究人员和公众开放其旗舰人工智能模型"亚里士多 德"。 Robinhood CEO的人工智能数学初创公司估值近9亿美元 ...