Стартап Harmonic, одним із засновників якого є CEO Robinhood Влад Теньов, анонсував бета-запуск власного чат-бота Aristotle для платформ iOS та Android. Йдеться про першу версію продукту, що відкриває доступ до інноваційної ШІ-моделі. Данна модель створена для роботи з математичними завданнями — без типових для галузі “галюцинацій” або хибних відповідей.
Про це повідомляє видання Techcrunch.
Чат-бот позиціонується як математичний суперінтелект (MSI), здатний допомогти користувачам у таких сферах, як фізика, статистика та комп’ютерні науки. Компанія підкреслює:
“Aristotel — не просто черговий ШІ-асистент, а модель, що здійснює формальні перевірки та міркування перед тим, як надати відповідь”
Генеральний директор Harmonic Тюдор Ахім заявив, що Aristotel — це перша у світі ШІ-модель, яка не просто генерує розв’язки, а й формально доводить їх правильність. Основним інструментом обчислень є мова програмування Lean з відкритим кодом, яка забезпечує математичну вивіреність кожного кроку.
Перед тим як показати відповідь користувачу, Aristotel виконує подвійний процес верифікації через спеціальний алгоритмічний підхід, який не ґрунтується на ШІ. Такий підхід активно застосовується в критично важливих галузях — зокрема в авіації та медичному обладнанні, що підтверджує потенційну надійність цієї розробки.
ОФІЦІЙНЕ ВИЗНАННЯ: ШІ-МОДЕЛЬ ЗІ ЗОЛОТОЮ МЕДАЛЛЮ
Одним із гучних досягнень стартапу стало те, що Aristotel здобув золото на Міжнародній математичній олімпіаді 2025 року. Йдеться про формальний формат тестування, у якому задачі були перекладені у машинозчитуваний вигляд. Для порівняння: Google та OpenAI теж отримали аналогічні відзнаки, але — за неформальні, мовні інтерпретації завдань. Цей факт лише підкріплює заяву Harmonic щодо унікальності своєї моделі, яка, як стверджують у компанії, не просто “вгадує”, а міркує та доводить правильність.
Наразі Harmonic не надає широкого переліку результатів тестування, зосереджуючись на подальшій розробці та запуску API для бізнесу.
Запуск Aristotle стався невдовзі після завершення раунду фінансування серії B, у межах якого Harmonic залучила $100 млн від інвесторів, зокрема Kleiner Perkins. Оцінка стартапу сягнула $875 млн — і це на етапі, коли продукт лише починає виходити на ринок. Ахім наголошує, що компанія “рухається дуже швидко” до мети створення повноцінного математичного суперінтелекту. Очікується, що незабаром Aristotel стане доступним не лише у вигляді мобільного додатку, а й через веб-інтерфейс та API для інтеграції у корпоративні рішення.
ЧИ МОЖЛИВО СТВОРИТИ ШІ БЕЗ ПОМИЛОК
Попри амбітні обіцянки, експерти галузі застерігають: навіть найновіші ШІ-моделі провідних компаній (зокрема OpenAI) досі схильні до “галюцинацій” — генерації неправдивих або логічно помилкових відповідей. Harmonic обіцяє змінити це правило завдяки формальній верифікації результатів.
Хоча заяви про “нуль галюцинацій” поки що звучать амбітно, підхід Aristotel справді може змінити ландшафт галузі. Якщо модель продемонструє високу точність і масштабованість, її можна буде адаптувати не лише для навчання та науки, а й для бізнесу, інженерії та навіть державних проєктів.
Також нещодавно видання AI360 розповідали про нового помічника, який з’явився у студентів та викладачів у вигляді чат-боту.
Компанія Anthropic оголосила про запуск Claude for Education — нового рішення на основі штучного інтелекту. Claude for Education розрахований на використання у вищих навчальних закладах. Цей крок став прямою відповіддю на подібну ініціативу від OpenAI, яка нещодавно представила свою версію освітнього інструменту ChatGPT Edu.
