Стартап Harmonic, співзасновником якого є генеральний директор Robinhood Влад Тенєв, оголосив про запуск бета-версії чатбот-додатку для iOS та Android. У цьому додатку користувачі отримають доступ до власної ШІ-моделі компанії під назвою Aristotle. Harmonic заявляє, що Aristotle надає відповіді без «галюцинацій» на питання, пов’язані з математичними розрахунками, і може формально перевіряти свої результати перед тим, як показати їх користувачам.
For early access to Aristotle Beta, go to https://t.co/jTRutW6kJp
— Vlad Tenev (@vladtenev) July 29, 2025
Rollout begins now! https://t.co/JYJZek3c94
Модель Aristotle створена для вирішення завдань з математики, фізики, статистики та інформатики. Вона отримала «золоту медаль» на Міжнародній математичній олімпіаді 2025 року під час офіційного тестування, де задачі були переведені у формат, зрозумілий для машин. До цього подібних результатів досягали лише моделі від Google та OpenAI, але вони проходили неформальні тести на природній мові.
За словами керівника Harmonic Тудора Ачіма, модель працює у відкритому програмному середовищі Lean і перевіряє свої відповіді за допомогою алгоритму, який не використовує ШІ. Такий підхід вже застосовують у сферах, де потрібна висока точність, наприклад у медицині та авіації. Компанія планує також випустити API для корпоративних клієнтів і веб-додаток для звичайних користувачів.
Бета-версія Aristotle стала доступною через кілька тижнів після того, як Harmonic залучила 100 мільйонів доларів у рамках раунду фінансування під керівництвом Kleiner Perkins, оцінивши стартап у 875 мільйонів доларів. Harmonic має на меті надати користувачам інструмент для точного вирішення завдань, де потрібні математичні обчислення і формальна перевірка рішень.
