Глава Robinhood создал стартап ИИ Harmonic с математическим подходом, оценённый в $1,45 млрд

Harmonic сосредоточен на устранении так называемых «галлюцинаций» у ИИ — неверных или бессмысленных ответов, которые часто дают современные модели. Компания продвигает свой подход под названием «Mathematical Superintelligence» (MSI), ориентированный на формальное, математическое мышление. Главная модель стартапа, Aristotle, обучается на математических доказательствах и выдает рассуждения не в виде текста, а как код на языке Lean4. Такой подход позволяет формально проверять правильность логики.

По словам руководства, это даёт возможность полностью исключить логические ошибки и «галлюцинации», характерные для моделей, которые отвечают в свободной форме на естественном языке.

Aristotle уже продемонстрировал впечатляющие результаты: на Международной математической олимпиаде (IMO) 2025 года, при формальной проверке задач, модель показала уровень, аналогичный ведущим ИИ‑командам от Google и OpenAI.

Стартап планирует направить привлечённые средства на увеличение вычислительных мощностей, необходимых для дальнейшего обучения моделей.

Harmonic видит перспективы коммерциализации в тех сферах, где критична надёжность и точность ИИ: авиация, финансы, разработка софта и другие области, где ошибки недопустимы. Уже сейчас модель доступна через бесплатное API и используется исследователями и математиками для формальной верификации сложных доказательств.

Компания была основана в 2023 году, и на текущий момент общая сумма привлечённых инвестиций составляет $295 млн.