CausalSmith: автономное исследование причинности с формальной верификацией в Lean
CausalSmith: автономное исследование причинности с формальной верификацией в Lean Команда представила агентную систему, которая не просто генерирует гипотезы, а доводит доказательства до machine-checked уровня в Lean. Ключевое нововведение — dual-verification: формальная проверка дополнена аудитом соответствия формальной теоремы неформальному утверждению, что решает проблему ложноположительных результатов. 🔗 https://arxiv.org/abs/2607.22511
24 просмотров
Канал в каталоге Максиметера
31 подписчиков · Наука