AI-стартап Harmonic залучив 120 мільйонів доларів фінансування, його оцінка досягла 1,45 мільярда доларів

2025-11-26 09:16:31

Генерація анотацій у процесі

Глибокі новини TechFlow, 26 листопада, AI-стартап Harmonic, заснований CEO Robinhood Владом Теневим, завершив фінансування на суму 120 мільйонів доларів, з оцінкою 1,45 мільярда доларів. Цей раунд фінансування очолив Ribbit Capital, а Sequoia, Kleiner Perkins та новий інвестор Emerson Collective також взяли участь.

Основна технологія Harmonic “математичний суперінтелект (MSI)” базується на формальній логіці, а не на статистичному прогнозуванні, і має на меті вирішення проблеми ілюзій ШІ. Його флагманська модель Aristotle показала відмінні результати на міжнародній математичній олімпіаді, досягнувши рівня, що відповідає провідним дослідницьким лабораторіям Google та OpenAI.

Aristotle за допомогою мови програмування Lean4 генерує перевіряні кроки міркування, забезпечуючи, щоб висновки базувалися на суворій логіці. Ця технологія особливо підходить для високоризикованих галузей, таких як аерокосмічна та фінансова. Наразі Aristotle відкрито для розробників та математиків через безкоштовний API, комерційний план буде представлений пізніше.

Переглянути оригінал

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.