代表性或获得融资Ai项目研究之Harmonic

代表性或获得融资AI项目研究之Harmonic

按：来源一： X 上 AI 领域的 100 家行业内最有实力、发展最好、得到投资界和消费者认可的 AI 企业；来源二：融资的项目作一个专题研究：1、融资了，说明得到资本界看好，可能是一个好的方向和项目；2、通过研究它们，可以了解外界或圈内人对这个行业的判断，是一种研究AI发展趋势的捷径和正确的路；3、基于X是目前国外信息最集中和更新快的平台，还依托于此来研究相应的融资项目；4、基于国内WEB3媒体链闻快讯-AI版块搜集的获得融资的AI项目。

PANews 7月11日消息，据彭博社报道，Robinhood首席执行官Vlad Tenev联合创立的AI数学公司Harmonic宣布完成1亿美元B轮融资，估值达8.75亿美元。本轮由Kleiner Perkins领投，红杉资本（Sequoia Capital）、Index Ventures和Paradigm跟投。该公司由Tenev和Helm.ai前CEO Tudor Achim于2023年创立，旨在构建能够解决复杂

Harmonic
，
@HarmonicMath，
Building Mathematical Superintelligence，
构建数学超级智能，
harmonic.fun2024年1月加入，
4 正在关注，
4,562 关注者

@HarmonicMath
·
12小时
介绍 Yuclid 和 Newclid 3.0;负责我们在问题 2 上取得成功并为我们在 IMO 获得金牌级别的表现做出贡献的系统。我们很高兴看到研究人员和数学家将如何在他们自己的工作中利用这些，因为我们继续追求 MSI /1亚里士多德为此任务接受了合成数据的训练，我们正在发布用于生成此数据的算法。在接下来的几周内，我们还将发布一个带有辅助结构的合成 JGEX 问题示例，可用于训练类似模型。/4
谐波
@HarmonicMath
·
10小时
立即开始使用 Yuclid + Newclid 3.0！
尤克里德：https://test.pypi.org/project/py-yuclid/1.0.0rc4/纽克利德 3.0：https://github.com/Newclid/Newclid /🧵

@vladtenev
·
7月29日
要抢先体验亚里士多德测试版，请转到https://aristotle.harmonic.fun现在开始推出！今年@HarmonicMath在国际数学奥林匹克竞赛（IMO）上测试了我们的高级推理模型亚里士多德，取得了金牌级的性能，并在精益中生成了经过正式验证的证明。我们在 HP Garage 直播了我们的结果，看看吧！x.com/HarmonicMath/s...

从硅谷的发源地加入我们的现场直播 @ 太平洋时间下午 3 点，成为第一批体验数学超级智能的人之一：https://x.com/i/broadcasts/1BdGYqEkOYyGX

上周，Harmonic 有机会代表我们先进的数学推理模型亚里士多德参加国际数学奥林匹克竞赛——世界上最负盛名的数学竞赛。
为了维护学生竞赛的神圣性，国际海事组织董事会

上周，Harmonic 有机会代表我们先进的数学推理模型亚里士多德参加国际数学奥林匹克竞赛——世界上最负盛名的数学竞赛。为了维护学生竞赛的神圣性，IMO 董事会要求我们以及其他参与的领先人工智能公司将我们的结果发布到 7 月 28 日。所以请加入我们的直播
@X
太平洋时间下周一 7 月 28 日下午 3 点，听取我们首席执行官的意见
@tachim
和执行主席
@vladtenev
关于数学超级智能的出现（也许在此过程中会有一些惊喜）。

我们已经看到了亚里士多德，我们的第一个模型，帮助和支持研究人员推动理论数学的进步。不久之后，我们相信亚里士多德将为解决重大的悬而未决的问题做出贡献，不仅在数学领域，而且在物理学和计算机科学等相关领域。

我为 Harmonic 团队迄今为止取得的进步感到无比自豪，对未来更加兴奋。这笔资金使我们能够继续做我们最擅长的事情：探索人类理解的前沿。/1

我们正在构建数学类的超级智能。
宣布
@HarmonicMath
领投的$100M B轮
@kleinerperkins
，参与
@paradigm
以及许多其他伟大的投资者
欢迎
@ilyaf
...很高兴再次合作

数学推理是智能的核心。很高兴与
@tachim
和
@vladtenev
和
@HarmonicMath
团队并领导他们的 B 轮融资，帮助他们构建数学超级智能：经过验证的人工智能，适用于从关键任务软件到金融和科学的高风险领域。https://bloomberg.com/news/articles/2025-07-10/robinhood-ceo-s-ai-math-startup-valued-at-nearly-900-million
谐波
@HarmonicMath
·
7月11日
我们很高兴能够通过最新一轮融资加快 MSI 的速度。谢谢
@KateClarkTweets
和
@business

宣布推出 $75M A 轮融资
@HarmonicMath
，由红杉领投，Index 大力参与。感谢您相信使命并帮助加速数学超级智能，也感谢
@CadeMetz
为了讲述这个故事。

解锁人工智能下一个前沿的秘密钥匙是什么？数学。
我们很高兴回来
@HarmonicMath
在其 $75M A 轮融资中，该公司推动了数学超级智能（MSI）的发展——该领域有望释放人工智能进行严格推理的潜力。指数合作伙伴
@JanatIndex
和
@ishanit5
分享更多投资信息：https://indexventures.com/perspectives/solving-the-ai-reasoning-gap-how-harmonic-is-building-mathematical-superintelligence/

很高兴与大家分享
@HarmonicMath
已筹集 $75M A 轮融资，领投
@sequoia
并得到了
@IndexVentures
，以及像
@GreatPointVC
和 Jasper Lau 的 Era Funds，以及像
@nikesharora
和
@JaredLeto
.1/

我们很高兴与大家分享亚里士多德，这是一个自动定理证明器，它推动了 MiniF2F（形式数学问题陈述的标准数据集）的最新技术。/1
显示更多回复
谐波
@HarmonicMath
·
6月 10， 2024
如果您很高兴帮助我们打造世界上最先进的数学推理引擎，我们正在招聘人工智能研究人员、数学家和分布式系统专家。查看我们的空缺职位：https://harmonic.fun!/3