ハーモニック・ファンディング：エラーフリーに1億2000万ドルを投資 AI 収入なし

ハーモニックは2025年に珍しいことを成し遂げた。収益が1ドルもないのに、評価額14億5000万ドルでシリーズCの1億2000万ドルを調達したのだ。

2023年にロビンフッドCEOのヴラド・テネフとチューダー・アヒムによって共同設立されたこの AI この研究室は、形式論理を通じて幻覚を排除する数学的超知能という野心的な目標を追求しています。

エラーのないAIの背後にある天才

ブリッジ AI モデルはパターンに基づいて答えを推測します。調和's アリストテレスエンジンはそれらを数学的に証明します。

すべての計算はLean4プログラミング言語を用いて検証され、推論は検証可能なコードに変換されます。推測や幻覚は一切不要。証明可能なロジックのみ。

これは重要です AI 航空宇宙、金融、または ブロックチェーン 人命と数十億ドルの損失につながる可能性があります。

ハーモニックの資金調達の内訳

VC が Harmonic への資金提供に競争する理由

このラウンドはRibbit Capitalが主導し、新たな出資者としてSequoia、Kleiner Perkins、Emerson Collectiveが加わった。

勢いは驚異的だ。わずか14ヶ月で3回の資金調達ラウンドを達成した。アリストテレス's 2025年7月に開催される国際数学オリンピックで、GoogleやOpenAIと直接対決し、優れた成績を収めたことで、投資家の信頼は確固たるものとなった。

現在、Harmonicは無料のAPIを通じてAristotleを提供している。数学者や研究者は既にこれを利用して複雑な証明を検証している。

ハーモニックとつながる

この賭けが他と違う点は何ですか?

収益化前のユニコーン企業は通常、懐疑的な見方に直面する。しかしハーモニックは's 形式検証アプローチは数十億ドル規模の問題を解決します。 AI ミッションクリティカルなシステムにも信頼できます。

この新たな資金は、数学的推論モデルのトレーニングに必要な膨大なコンピューティングリソースの資金調達に充てられる。CEOのチューダー・アヒム氏が述べたように、幻覚を取り除くには、推論を自然言語ではなくコードとして生成することが不可欠だ。

安全性が重視される産業では、's 革新的であるだけでなく's 必須です。