ИНВЕСТИЦИИ · STARTUPS · #2784
Стартапы по ИИ продвигают формальную верификацию: &Truth запустилась после раунда $70M
Исследователь Стэнфорда Чуе Сун и коллеги показали, что ИИ‑помощь в формальной верификации завершила сложную инженерную задачу менее чем за полдня и менее чем за $500. Сун присоединилась к недавно представленной компании &Truth, которая привлекла $70 млн и планирует масштабировать ИИ‑верификацию; конкуренты, включая Harmonic (агент Aristotle) и совместную работу Anthropic с Theorem, также используют ИИ для ускорения верификации.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- Исследователь Стэнфорда Чуе Сун и коллеги показали, что ИИ‑помощь в формальной верификации завершила сложную инженерную задачу менее чем за полдня и менее чем за $500.
- Сун присоединилась к недавно представленной компании &Truth, которая привлекла $70 млн и планирует масштабировать ИИ‑верификацию; конкуренты, включая Harmonic (агент Aristotle) и совместную работу Anthropic с Theorem, также используют ИИ для ускорения верификации.
- Если ИИ сделает формальную верификацию практичной, это может существенно повысить надёжность и безопасность ПО, позволяя математически доказывать свойства кода быстрее и дешевле, чем сейчас.
ПОЧЕМУ ЭТО ВАЖНО
Если ИИ сделает формальную верификацию практичной, это может существенно повысить надёжность и безопасность ПО, позволяя математически доказывать свойства кода быстрее и дешевле, чем сейчас.