Nvidia invests in artificial intelligence startup Harmonic.

According to the website AXIOS, NVIDIA has invested in the startup company Harmonic, which focuses on developing artificial intelligence systems for solving mathematical problems. Harmonic revealed that NVIDIA participated in the company's Series C funding round, totaling $120 million, bringing the company's valuation to $1.45 billion. While large language models are performing increasingly well in math competitions, Harmonic stated that there is still a demand in the market for AI systems that can formally verify the accuracy of their results. Harmonic claims that its model Aristotle not only solves math problems, but also shows potential in coding and chip design.