⬆️ Вчера, после текста о галлюцинациях ИИ, наткнулся на ИИ Aristotle (Аристотель).
Каждый день нам обещают «новый уровень искусственного интеллекта». На деле — всё новые болтуны: кто‑то пишет тексты, кто‑то рисует котиков, кто‑то выдаёт уверенные ответы на любые вопросы, не имея ни малейшего понятия, правда это или нет.
И вот, наконец, американский стартап Harmonic, основанный бывшим CEO Robinhood (того самого брокера, который сделал торговлю акциями и криптой доступной для каждого подростка с телефоном), запустил Aristotle — первого общедоступного ИИ, который будет доказывать.
Как это работает
Обычные нейросетки устроены по принципу «угадай мелодию»: они подбирают слова и формулы по вероятности, буквально пытаясь угадать следующее слово.
Разница — в объёме данных, которые есть у неё в памяти «нашего диалога». Получается красиво и уверенно. Последние версии ещё очень любят вам поддакивать. Но по сути — гадание на статистике.
Попробуйте попросить ChatGPT расписать сложную формулу: он сделает это с видом профессора, но, если попросить обосновать, тут же уплывёт в туман. Часто подгоняет под ответ. Плохо работает со статистикой, плохо справляется с банальными задачками/ загадками, но при этом «уверенно прав».
Aristotle пошёл другим путём
Он состоит из двух частей: генеративная модель выдвигает гипотезу, а специальный верификационный движок (что‑то вроде встроенного аудитора) проверяет всё по шагам.
Проверка идёт на языке Lean — инструменте формальной логики и доказательства теорем, где каждое утверждение должно быть выведено строго и доказано алгоритмом.
Если доказательство не сходится, «Аристотель» отклоняет ответ и строит новый. И так до тех пор, пока система не получит математически корректный результат. Только после этого ответ возвращается пользователю.
Что это значит
Harmonic создаёт первый ИИ, который не пытается выглядеть умным, а доказывает, что он умный. Это уже не игрушка для текстов и не помощник для мемов. Это шаг к машинам, которые можно допустить до инженерии, финансовых расчётов и права.
На фоне рынка, где все гонятся за хайпом и визуальным эффектом, Harmonic выбрал другое поле — достоверность.
И именно там будут настоящие деньги: в проверяемых решениях, а не в очередной «генерации вдохновения». Стартап уже оценили в почти лярд доллАров.
ИИ взрослеет
Из болтливого школьника, который поддакивает пользователю, он превращается в строгого аудитора, способного сказать: «Докажу».
И если раньше капитал шёл туда, где красиво говорят, теперь он идёт туда, где правильно считают.
Источники: Techcrunch, Harmonic