Harmonic, стартап у сфері штучного інтелекту, заснований виконавчим директором Robinhood Владом Теневим, оголосив в понеділок про бета-запуск чат-бота для iOS та Android, де користувачі можуть отримати доступ до його AI-моделі, Арістотеля.
Цей запуск має на меті розширити доступ до Арістотеля, як стверджує Harmonic, який надає “вільні від галюцинацій” відповіді на питання, пов’язані з математичним мисленням – сміливе твердження з огляду на проблеми надійності сучасних AI-моделей. Harmonic зосереджений на створенні “математичної суперінтелектуальності” (MSI); стартап у кінцевому підсумку хоче допомагати користувачам у всіх сферах, пов’язаних з математикою, включаючи фізику, статистику та комп’ютерні науки.
“[Арістотель] – це перший продукт, доступний людям, який виконує логічні міркування і формально перевіряє результати”, – зазначив виконавчий директор Harmonic і співзасновник Тудор Ахім в інтерв’ю. “У доменах, які підтримує Арістотель, а саме в кількісних обчисленнях, ми дійсно гарантуємо відсутність галюцинацій.”
Згодом Harmonic також планує випустити API для підприємств, щоб забезпечити доступ до Арістотеля, а також веб-додаток для споживачів.
У компанії стверджують, що Арістотель досяг золотої медалі на міжнародній математичній олімпіаді 2025 року завдяки формальному тестуванню (проблеми були переведені у формат, зрозумілий для машини). Google та OpenAI також розробили AI-моделі, які досягли золотої медалі на цьогорічній олімпіаді, але через неформальні тести, проведені природною мовою.
На даний момент Harmonic не надає інших бенчмарків для Арістотеля.
Бета-версія Арістотеля вийшла всього через кілька тижнів після того, як Harmonic залучив 100 мільйонів доларів у раунді серії B під керівництвом Kleiner Perkins з оцінкою бізнесу у 875 мільйонів доларів. Ахім стверджує, що Harmonic “весело просувається вперед” на шляху до досягнення MSI і що інвестори вважають цю оцінку справедливою, враховуючи амбіції стартапу.
Кілька провідних технологічних компаній зосередилися на навчанні своїх AI-моделей для розв’язання математичних задач. AI, який може виконувати математичні розрахунки, є цінним сам по собі, але математика також вважається унікально перевіреним доменом, який вимагає основних навичок міркування. Системи, що розвивають ці можливості, можуть виявитися корисними й в інших сферах.
Ахім зазначає, що Harmonic досягає надзвичайно точних рішень, використовуючи Арістотеля для формулювання відповідей у відкритій мові програмування Lean. Перш ніж надати відповідь користувачеві, модель двічі перевіряє правильність рішення через алгоритмічний процес, що не пов’язаний із штучним інтелектом. Генеральний директор Harmonic зазначає, що подібні технології використовуються для перевірки результатів у сферах, де ставки дуже високі, таких як медичні пристрої та авіація.
Навіть у вузькому домені досягнути безгалюцинаційної продуктивності від AI-моделі є неймовірно складним завданням. Дослідження виявили, що навіть провідні AI-моделі часто генерують галюцинації, і ця проблема, здається, не покращується. Останні AI-моделі OpenAI генерують більше галюцинацій, ніж його попередники.
