據AXIOS網站報道，英偉達投資初創公司Harmonic，該公司專注於開發用於解決數學問題的人工智能系統。據Harmonic透露，英偉達參與了該公司的C輪孖展，總額為1.2億美元，使公司估值達到14.5億美元。

大型語言模型在數學競賽中表現越來越好，但Harmonic表示，市場上仍然有對能夠正式驗證其結果準確性的AI系統的需求。Harmonic稱其模型Aristotle不僅能解決數學難題，在編碼和芯片設計方面也展現出潛力。