harmonic

据 AXIOS 报道，英伟达投资数学人工智能初创公司 Harmonic。AXIOS の報道によると、NVIDIA は数学人工知能スタートアップの Harmonic に投資しました。

Robinhood CEO Vlad Tenev が共同設立した AI スタートアップ Harmonic が 1.2 億ドルの資金調達を完了し、評価額は 14.5 億ドルに達しました。このラウンドの資金調達は Ribbit Capital が主導し、Sequoia、Kleiner Perkins、そして新たな投資家 Emerson Collective が参加しました。Harmonic のコア技術「数学スーパーインテリジェンス (MSI)」は、統計予測ではなく形式論理に基づいており、AI の幻覚問題を解決することを目指しています。そのフラッグシップモデル Aristotle は国際数学オリンピック競技会で優れた成績を収め、Google や OpenAI の先進研究所と同等のレベルに達しています。Aristotle は Lean4 プログラミング言語を使用して検証可能な推論ステップを生成し、結論が厳密な論理に基づいていることを保証します。この技術は特に航空宇宙や金融などの高リスク産業に適しています。現在、Aristotle は無料 API を通じて開発者や数学者に公開されており、商業化計画は後日発表される予定です。

据 The Block 报道，Harmonic 完成 600 万美元种子轮融资，由 Paradigm 领投。Harmonic 联合创始人 Jakob Povšič（同时也是加密原生研发公司 Temporal 的联合创始人）表示，本轮融资还包括来自未披露的"Solana 关键利益相关者"的天使轮投资。Povšič 拒绝透露融资时间、轮次结构、公司估值、商业模式，或投资者是否担任顾问或董事角色。Harmonic 自称是 Solana 首个开放区块构建系统，允许验证者实时从多个竞争构建者获取区块，从而提升网络速度与效率。

ChainCatcher のメッセージ、人工知能ラボ Harmonic が 1 億ドルの B ラウンド資金調達を完了し、Kleiner Perkins が主導し、Paradigm、Ribbit Capital、そして Sequoia Capital、Index Ventures、Charlie Cheever などが参加しました。Harmonic は現在、数学的スーパーインテリジェンス（MSI）に基づくソフトウェア検証とコード検証機能を構築しており、主にブロックチェーン、金融サービスなどの業界に応用されています。

ChainCatcher のメッセージ、人工知能ラボ Harmonic が 1 億ドルの B ラウンドの資金調達を完了したと発表しました。リード投資家はケイパーキン・ハーウィン (Kleiner Perkins) で、Paradigm、Ribbit Capital、そしてセコイアキャピタル (Sequoia Capital)、インデックスベンチャーズ、チャーリー・チーバー (Charlie Cheever) などが参加し、投資後の評価額は 9 億ドルに達しました。Harmonic は現在、数学的スーパーインテリジェンス (MSI) に基づくソフトウェア検証とコード検証機能を構築しており、主にブロックチェーン、金融サービスなどの業界に応用されています。同社は昨年9月の A ラウンドの資金調達で 7500 万ドルを調達しました。