专题研究N：2025年融资区块链项目研目Harmonic

按：融资的项目作一个专题研究：1、融资了，说明得到资本界看好，可能是一个好的方向和项目；2、通过研究它们，可以了解外界或圈内人对这个行业的判断，是一种研究区块链发展趋势的捷径和正确的路；3、之前的区块链人物、项目系列研究也基本是追一些热点或按版块研究，已有1000期；基本也将常见的项目和区块链人物研究的差不多；正好可以告一段落（前期落下的一些已计划的还要继续，在1000期以内）；4、基于推特是目前区块链信息最集中和更新快的平台，还依托于此来研究相应的融资项目。5、2024年2月份，硬盘损坏；前期约有3600期（已发布约2000期）资料丢失；现未再续编号。

PANews 11月5日消息，据The Block报道，Solana生态基础设施项目Harmonic完成600万美元种子轮融资，由Paradigm领投，并获得多位Solana关键利益相关者作为天使投资人参与。 Harmonic致力于构建Solana首个开放式区块构建系统，通过实时聚合多个区块构建者的出价，帮助验证者获取最优区块。该系统旨在解决当前Solana网络中区块构建权过于集中的问题，其运作模式类似于高频交易中的订单路由系统。

Harmonic
，
@HarmonicMath，
Building Mathematical Superintelligence，
harmonic.fun2024年1月加入，
5 正在关注，
6,184 关注者

@satnam6502
·
9月30日
我已经找到了我梦想的工作。我刚刚接受了 Harmonic 的职位，这是一家将 AI 应用于形式数学推理的 Palo Alto 初创公司。Harmonic 的亚里士多德形式推理模型在今年的国际数学奥林匹克竞赛（IMO）上取得了金奖级别的表现。我将致力于探索亚里士多德在硬件形式验证中的应用。这份工作是硬件设计和验证、函数式编程、形式化方法和机器学习的完美交集，汇集了我迄今为止职业生涯的几条线索。
要求 AI 生成引理证明（例如关于电路的形式属性）的美妙之处在于，它可以由外部交互式定理证明器（如 Lean）检查，以确定 AI 的输出是否真的正确。这是一个了不起的超能力！https://harmonic.fun
@HarmonicMath

10月3日
有关我们工作的更多细节
@HarmonicMath
:https://arxiv.org/abs/2510.01346顺便说一句，我们正在招聘研究工程师。这是一个高杠杆机会，可以加入一个小型世界级团队。需要高度的能动性。私信我线索

@tachim
（首席执行官，
@HarmonicMath
）正在构建亚里士多德——一个人工智能推理引擎，可以比顶级数学奥林匹克竞赛冠军更好地解决问题！今年 10 月，他采取了#TEDAISF25探索超越预测的人工智能——进入可证明的推理的阶段。🎟️👇

@vladtenev
，首席执行官兼总裁
@RobinhoodApp
，回顾了他从数学家到金融科技创新者的历程——展示了大胆的想法如何重新定义系统并塑造经济和智能的未来。
谐波已转帖
旧金山泰代
@TEDAISF
·
十月22
回复
@TEDAISF
🔢
@tachim
首席执行官兼联合创始人
@HarmonicMath
，展示了数学如何为一个通常由抽象定义的领域带来结构和确定性——将人工智能建立在逻辑和精确度的基础上。

我们很高兴地宣布#ItaLean2025：Bridging Formal Mathematics and AI，一个致力于
@LeanProver
、形式数学和 AI4Math。📍博洛尼亚大学🗓2025 年 12 月 9 日至 12 日
自豪地得到支持
@HarmonicMath
.#LeanLang #FormalMath #AI4Math

数学超级智能幕后花样👁️
引用
谐波
@HarmonicMath
·
十月4
我们的第一份技术报告在这里！我们正在以前所未有的方式了解我们的人工智能系统背后的架构和方法;亚里士多德，并阐明了我们 IMO 黄金级表现背后的“如何”。
阅读下面的完整报告⬇️

在我的最新
@PuckNews
，我独家第一眼了解了亚里士多德的幕后情况，
@HarmonicMath
的数学驱动的人工智能模型。

我们的第一份技术报告在这里！我们正在以前所未有的方式了解我们的人工智能系统背后的架构和方法;亚里士多德，并阐明了我们 IMO 黄金级表现背后的“如何”。
阅读下面的完整报告⬇️
谐波
@HarmonicMath
·
十月4
亚里士多德：IMO 级自动定理证明 -

大规模运行精益需要什么？我们正在拉开定制的语义无状态 REPL 服务的帷幕，该服务允许我们的 RL 系统独立于我们的 GPU 容量扩展到数十万个 CPU。
深入了解此处的详细信息：

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

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

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

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

我们已经看到了我们的第一个模型亚里士多德，它帮助和支持研究人员推动理论数学的进步。不久之后，我们相信亚里士多德将为解决重大的悬而未决的问题做出贡献，不仅在数学方面，而且在物理学和计算机科学等相关领域。
引用
都铎王朝阿希姆
@tachim
·
7月11日
我为 Harmonic 团队迄今为止取得的进步感到无比自豪，对未来更加兴奋。这笔资金使我们能够继续做我们最擅长的事情：探索人类理解的前沿。/1https://bloomberg.com/news/articles/2025-07-10/robinhood-ceo-s-ai-math-startup-valued-at-nearly-900-million

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

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

数学推理是智力的核心。很高兴与
@tachim
和
@vladtenev
和
@HarmonicMath
团队并领导他们的 B 轮融资，帮助他们构建数学超级智能：经过验证的人工智能，适用于从关键任务软件到金融和科学的高风险领域。

宣布推出 $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/
谐波
@HarmonicMath
·
9月 24， 2024
谢谢
@CadeMetz
讲述了 Harmonic 追求数学超级智能的故事。/1

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