&Truth вышла из закрытого режима с $70 млн на математическую проверку программ
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Разработчики получают ещё один подход к проверке кода ИИ: доказательство заданных свойств вместо доверия к ответу модели.
Компания строит систему формальной верификации на базе Lean и открытых математических библиотек. Она планирует переводить требования к программе в точные спецификации и строить независимо проверяемые доказательства; заявленное ускорение — оценка самой компании.
Источники 2