Стартап Harmonic, заснований співзасновником та CEO Robinhood Владом Тенєвим, представив бета-версію мобільного чат-бота для iOS і Android, який дає змогу користувачам взаємодіяти з власною моделлю штучного інтелекту під назвою Aristotle.
Про це розповідає ProIT
Особливості нового ШІ-асистента Aristotle
Метою запуску є розширення доступу до Aristotle, якого Harmonic позиціонує як інструмент для забезпечення “відповідей без галюцинацій” на питання, що потребують математичного мислення. Це смілива заява, враховуючи типові проблеми з достовірністю сучасних моделей штучного інтелекту. Команда Harmonic прагне створити так званий рівень “математичної надінтелектуальності” (MSI) та планує в майбутньому допомагати користувачам у всіх сферах, де математика має ключове значення — від фізики і статистики до комп’ютерних наук.
“[Aristotle] is the first product available to people that does reasoning and formally verifies the output,” said Harmonic CEO and co-founder Tudor Achim in an interview. “Within the domains that Aristotle supports, which are quantitative reasoning domains, we actually do guarantee that there’s no hallucinations”.
У перспективі Harmonic планує надати доступ до Aristotle й через API для корпоративних клієнтів, а також запустити вебверсію для звичайних користувачів.
Досягнення Aristotle та інвестиції Harmonic
Згідно з повідомленням Harmonic, Aristotle показав результат на рівні золотої медалі на Міжнародній математичній олімпіаді 2025 року (IMO) у рамках формального тесту: завдання було переведено у формат, придатний для машинного аналізу. Для порівняння, Google і OpenAI також розробили моделі, які здобули золото за неформальними тестами, що проводилися мовою людини. Інших відкритих бенчмарків для Aristotle наразі не представлено.
Вихід Aristotle у публічну бету відбувається лише через кілька тижнів після того, як Harmonic залучила $100 млн у раунді Series B за оцінкою компанії у $875 млн. CEO стартапу Тудор Акім зазначає, що Harmonic стрімко наближається до створення математичної надінтелектуальності, а інвестори вважають поточну оцінку справедливою з огляду на масштаби амбіцій компанії.
Численні провідні технологічні компанії зараз надалі тренують свої ШІ-моделі для розв’язання математичних задач. Математика вважається унікальною і перевірною галуззю, яка вимагає глибоких навичок раціонального мислення; системи, здатні розвивати такі можливості, можуть бути корисними і в інших сферах.
За словами Акіма, Aristotle досягає високої точності завдяки тому, що формує відповіді у відкритій мові програмування Lean. Перед тим, як надати результат користувачу, модель додатково перевіряє розв’язання спеціальним алгоритмічним методом, що не пов’язаний із ШІ. Подібні технології вже використовують у критично важливих галузях — наприклад, у виробництві медичних пристроїв або авіації.
Досягти роботи без галюцинацій навіть у вузькій ніші — складне завдання для будь-якої ШІ-моделі. Дослідження показують, що навіть найсучасніші з них часто помиляються, а проблема дотепер не вирішена: новітні моделі OpenAI демонструють навіть більшу кількість помилкових відповідей порівняно зі старішими версіями.