Harmonic щойно здійснила щось рідкісне у 2025 році: серію C вартістю 120 мільйонів доларів з оцінкою в 1.45 мільярда доларів без жодного долара доходу.
Співзасновником цієї компанії є генеральний директор Robinhood Влад Тенев і Тудор Ахім у 2023 році. AI Лабораторія прагне чогось амбітного — математичного суперінтелекту, який усуває галюцинації за допомогою формальної логіки.
Геній безпомилкового штучного інтелекту
міст AI моделі вгадують відповіді на основі закономірностей. Гармонійний's Двигун Арістотеля доводить їх математично.
Кожен розрахунок перевіряється за допомогою мови програмування Lean4, перетворюючи міркування на перевірений код. Жодних здогадок. Жодних галюцинацій. Тільки логіка, яку можна довести.
Це має значення тому AI помилки в аерокосмічній галузі, фінансах або blockchain може коштувати життів та мільярдів.
Гармонійний розподіл фінансування
| раунд | сума | Провідний інвестор | Оцінка | Дата |
|---|---|---|---|---|
| Серія С | $ 120M | Ribbit Capital | $ 1.45B | листопад 2025 |
| Серія В | $ 100M | Менший Перкінс | ~900 мільйонів доларів | липень 2025 |
| Серія A | $ 75M | Sequoia Capital | Не розкривається | вересень 2024 |
| Всього зібрано | $ 295M | - | - | - |
Чому венчурні фонди змагаються у фінансуванні Harmonic?
Ribbit Capital очолила раунд залучення, до якої приєдналися Sequoia, Kleiner Perkins та Emerson Collective як нові спонсори.
Імпульс приголомшує — три раунди фінансування лише за 14 місяців. Арістотель's Виступ на Міжнародній математичній олімпіаді в липні 2025 року, де вони змагалися віч-на-віч з Google та OpenAI, закріпив довіру інвесторів.
Наразі Harmonic пропонує Aristotel через безкоштовний API. Математики та дослідники вже використовують його для перевірки складних доказів.
Зв'яжіться з Harmonic
| платформа | посилання |
|---|---|
| веб-сайт | гармонійний.веселий |
| /компанія/harmonicmath | |
| @HarmonicMath |
Чим відрізняється ця ставка?
«Єдинороги», які ще не отримують доходів, зазвичай стикаються зі скептицизмом. Але «Гармонік»'s Формальний підхід до перевірки вирішує проблему на мільярди доларів: створення AI надійний для критично важливих систем.
Новий капітал профінансує величезні обчислювальні ресурси, необхідні для навчання моделей математичного мислення. Як зазначив генеральний директор Тудор Ахім, позбавлення від галюцинацій відбувається шляхом генерації міркувань як коду, а не природна мова.
Для галузей, чутливих до безпеки, це's не просто інноваційний — він's важливо.
Джерела
БОНУС: Отримайте наші 200 доларівAI «Набір інструментів майстерності» БЕЗКОШТОВНО при реєстрації!
