Стартапы применили ИИ для формальной верификации кода

Стартап &Truth, куда пришла исследовательница Стэнфорда Чуйюэ Сунь, привлёк $70 млн на ИИ-верификацию кода. Её ИИ выполнил инженерный проект за полдня и менее $500 против пяти месяцев работы трёх экспертов. Конкурент Harmonic с $295 млн финансирования представил агента Aristotle для верификации кода на C и дизайнов на Verilog.

• &Truth привлекла $70 млн и запустилась публично
• Harmonic с $295 млн показала агента Aristotle для C и Verilog
• ИИ-верификация заняла менее полудня и обошлась дешевле $500
• Anthropic и Theorem нашли баги в открытом коде с помощью ИИ