Harmonic, стартап искусственного интеллекта, соученному генеральным директором Robinhood Vlad Tenev, запустила бета-версию своего приложения AI Chatbot для iOS и Android, предоставляя пользователям доступ к модели ИИ Aristotle. Компания стремится расширить доступ к Aristotle, который, по ее словам, предлагает «без галлюцинации» ответы на вопросы математических рассуждений. Это важное требование, учитывая постоянные проблемы с надежностью с текущими моделями ИИ.
Основная миссия Harmonic – создать «математическую суперинтеллигентность» (MSI). Стартап планирует расширить возможности Аристотеля по оказанию помощи пользователям в различных областях, которые полагаются на математику, включая физику, статистику и информатику. Генеральный директор и соучредитель гармоники Тюдор Ахим сказал TechCrunch Этот Аристотель является «первым продуктом, доступным для людей, который делает рассуждения и формально проверяет вывод», добавляя, «в доменах, которые поддерживает Аристотель, которые являются количественными доменами рассуждений, мы фактически гарантируем, что галлюцинаций нет».
Компания также намерена выпустить API для предприятий для доступа к Аристотелу и веб -приложению для общих потребителей в будущем. Гармоника объявила, что Аристотель достиг золотой медали на международной математической олимпиаде 2025 года (IMO) с помощью формального теста, где проблемы были переведены в машинный формат. Это достижение ставит Аристотель вместе с моделями ИИ, разработанными Google и Openai, которые также достигли результатов золотой медали в IMO в этом году посредством неформальных тестов на естественном языке. Несмотря на это, Harmonic не выпустила другие тесты для Аристотеля в это время.
Этот бета -запуск внимательно следует за каблуками успешного раунда финансирования Harmonic B, который привлек 100 миллионов долларов. Раунд возглавлял Кляйнер Перкинс, оценивая компанию в 875 миллионов долларов. Ахим указал, что гармоника «очень быстро продвигается» по своему пути к достижению MSI, и инвесторы полагали, что оценка была справедливой, учитывая масштаб амбиций стартапа.
Несколько ведущих технологических компаний активно сосредоточены на обучении моделей искусственного интеллекта для решения математических задач. Способность ИИ выполнять математику сама по себе является ценной, и математика также считается уникальной проверкой доменом, которая требует основных навыков рассуждений. Системы, способные развивать эти навыки, могут оказаться полезными и в других областях. Ачим объяснил, что гармоника достигает своей высокой точности, заставляя Аристотель производить реакции в Lean, языке программирования с открытым исходным кодом. Прежде чем дать ответ пользователям, модель алгоритмически проверяет решение для правильности, процесс, который не связан с ИИ. Ахим отметил, что аналогичная технология проверки используется в областях с высокими ставками, таких как медицинские устройства и авиация.
Достижение производительности без галлюцинации из модели ИИ, даже в узком домене, является невероятно сложной задачей. Исследования показали, что даже ведущие модели ИИ часто галлюцинируют, и эта проблема не показала признаков значительного улучшения, причем некоторые из последних моделей рассуждений OpenAI даже демонстрируют больше галлюцинаций, чем их предшественники.
Source: Этот стартап утверждает, что решил задачу галлюцинации ИИ
