Dan Luu проверяет, помогают ли агентам TDD и формальные методы
Автор прогнал агентов по реализации Zstd на Rust с 26 вариантами промптов: от «делай TDD», Lean 4 и QuickCheck до SMT-солверов, TLA+ и «не ошибайся». Он заранее зарегистрировал прогнозы: TDD, скорее всего, просядет, формальные методы не обойдут хорошие тест-техники, а «Make no mistakes» с вероятностью 95% не сработает. Результаты в доступном фрагменте пока не разобраны.