Автор bmlabs 
Harmonic — стартап искусственного интеллекта, основанный Владом Теневым, CEO Robinhood, запустил новое приложение с AI-чатботом. Компания специализируется на разработке систем искусственного интеллекта, способных решать сложные математические задачи, которые традиционно даются проблематично большинству больших языковых моделей. Главная цель Harmonic — создать так называемый «математический суперинтеллект» — ИИ, превосходящий людей в решении и проверке математических доказательств.
Запуск AI-чатбота основан на передовой модели Aristotle, которая уже показала высокую эффективность в решении непростых математических задач и в ближайшем будущем станет доступна широкой аудитории, включая исследователей и пользователей. Такой подход помогает избежать проблемы «галлюцинаций» у чатботов — ситуаций, когда они выдумывают информацию, поскольку Harmonic использует формальные методы верификации для гарантии точности и надежности ответов.
Этот проект особенно важен для областей, где ошибка недопустима — аэрокосмической, автомобильной промышленности и медицине, где точные вычисления и проверки критичны. Несмотря на то что Владу Теневу принадлежит роль исполнительного председателя, операционное руководство осуществляет соучредитель и CEO компании Тудор Ахим, ранее известный по проекту Helm.ai.
Harmonic уже достигла оценки на уровне почти 900 миллионов долларов после недавнего привлечения инвестиций в размере 100 миллионов, что говорит о серьезных перспективах и интересе к развитию ИИ в математике. Разработка такого специализированного искусственного интеллекта раскрывает новые возможности не только в теории, но и в практическом применении, где правильное решение сложных задач имеет решающее значение.