#verification

И инструменты ·22 июл 2026

2000 часов с AI-помощником: почему его успехи и провалы имеют одну причину

Разработчик без опыта программирования потратил 7 месяцев и 2000+ часов на создание платформы с помощью AI. Он выделил 6 повторяющихся типов ошибок: «пластырные» решения, необоснованные предположения, незаметный дрейф задачи, галлюцинации, отсутствие здравого смысла и выбор лёгкого пути вместо правильного. Главная проблема — уверенность AI не связана с реальной проверкой истины, и даже улучшенные модели не избавлены от этих паттернов.

0 43

И исследования ·16 июл 2026

Apple представила систему доказательств, которая проверяет данные быстрее, чем их можно прочитать

Исследователи Apple Machine Learning разработали систему интерактивных доказательств близости (dsIPPs), где проверяющий может убедиться в свойствах огромного массива данных, прочитав лишь крохотную его часть. Доказывающая сторона тоже читает только малый фрагмент, но может убедить проверяющего в истинности утверждений о данных. Система работает для свойств, описываемых константными по ширине ROOBP-программами, и проверки таких характеристик как вес Хэмминга или двудольность графов.

0 217