据AXIOS网站报道，英伟达投资初创公司Harmonic，该公司专注于开发用于解决数学问题的人工智能系统。据Harmonic透露，英伟达参与了该公司的C轮融资，总额为1.2亿美元，使公司估值达到14.5亿美元。

大型语言模型在数学竞赛中表现越来越好，但Harmonic表示，市场上仍然有对能够正式验证其结果准确性的AI系统的需求。Harmonic称其模型Aristotle不仅能解决数学难题，在编码和芯片设计方面也展现出潜力。