ハーモニック・ファンディング：エラーフリーに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のTudor Achim氏が述べたように、幻覚の除去は推論をコードとして生成することから生まれるものであり、 自然言語.

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