Стартап Harmonic AI, который создаёт ИИ, решающий сложные математические задачи, оценили почти в $900 млн

Искусственный интеллект, способный решать сложные математические задачи лучше человека — такую амбициозную цель ставит перед собой стартап Harmonic AI, сооснователем которого является генеральный директор Robinhood Markets Владислав Тенев. Компания привлекла $100 млн (8 млрд рублей) в рамках раунда финансирования Series B, что оценивает её в $875 млн (70 млрд рублей).

Раунд возглавил венчурный фонд Kleiner Perkins, при участии Sequoia Capital, Index Ventures и Paradigm. Генеральным директором Harmonic AI стал Тудор Ахим, ранее возглавлявший стартап в области автономного вождения Helm.ai.

«Наша ближайшая цель — создать ИИ, который решает математические задачи на уровне, превосходящем любой человеческий интеллект. В конечном итоге мы хотим решить крупные нерешенные математические проблемы и расширить это на задачи в физике и компьютерных науках», — заявил Тенев в интервью Bloomberg.

Основанная в 2023 году в Пало-Альто (Калифорния), компания разрабатывает ИИ-системы для достижения «математического суперинтеллекта». Флагманская модель Aristotle должна стать доступной исследователям и широкой публике уже в этом году.

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

«Мы можем гарантировать, что каждый вывод и каждый шаг рассуждений нашей модели достоверно правильны. Это совершенно иной подход к созданию ИИ, который, я уверен, станет доминирующим в будущем», — добавил сооснователь Harmonic.

Ранее компания уже привлекала $75 млн (6 млрд рублей) от Sequoia и Index. Нынешнее финансирование приближает Harmonic к статусу «единорога» (стартапа с оценкой $1 млрд), но Тенев намеренно избегает завышения оценки, считая такой подход неверным.

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