Стартапы по ИИ продвигают формальную верификацию: &Truth запустилась после раунда $70M
Исследователь Стэнфорда Чуе Сун и коллеги показали, что ИИ‑помощь в формальной верификации завершила сложную инженерную задачу менее чем за полдня и менее чем за $500. Сун присоединилась к недавно представленной компании &Truth, которая привлекла $70 млн и планирует масштабировать ИИ‑верификацию; конкуренты, включая Harmonic (агент Aristotle) и совместную работу Anthropic с Theorem, также используют ИИ для ускорения верификации.