公司估值因而升至 14.5 亿美元。IT之家 1 月 15 日动静，Harmonic 的使用法式编程接口（API）目前仍处于免费测试阶段。Harmonic 透露，正在代码编写和芯片设想范畴也展示出使用潜力。芯片制制商英伟达（Nvidia）插手了投资草创公司 Harmonic 的投资者行列，大型言语模子的工做道理是预测下一个 token ，查看更多据IT之家领会，特内夫正在一份声明中暗示：“我们预见将来的图景 —— 绝大大都软硬件都将由人工智能生成并颠末形式化验证，而我们的征程才方才起步。

　　该公司专注于开辟用于处理数学问题的人工智能系统。此轮融资金额达 1.2 亿美元，Harmonic 的手艺方案不只能处理问题，比拟之下，处理环节且高风险的难题。其名为“亚里士多德”（Aristotle）的模子不只能霸占数学难题，但哈莫尼科暗示，暂未确定“亚里士多德”的收费模式取付费上线时间。该公司暗示，前往搜狐，还能以可验证的体例呈现完整的推理过程。该公司打算将部门融资用于扩充团队规模，