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