这项由Harmonic团队开发的突破性研究成果发表于2025年10月，论文编号为arXiv:2510.01346v1。感兴趣深入了解的读者可以通过该论文编号查询完整的技术细节和实验数据。 在人工智能的众多应用领域中，数学推理一直被认为是最具挑战性的任务之一。毕竟，数学不仅 ...

近日，券商巨头 Robinhood 首席执行官弗拉德·特涅夫（Vlad Tenev）在社交媒体上发布了一条推文：“我们正处于数学领域深刻变革的风口浪尖。氛围证明（Vibe proving）的时代已经到来。” 他宣布，自己创办的人工智能公司 Harmonic 开发的 Aristotle 模型完全自主地解决 ...

智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元（约合人民币8.5亿元）的C轮融资，估值达到14.5亿美元（约合人民币102.7亿元），跃升独角兽行列，目前尚未产生收入。 本轮融资由Ribbit Capital领投，红杉资本、Kleiner Perkins以及爱默生基金 ...