За четыре недели AlphaProof Code математически доказал корректность криптографических гарантий Signal. Новых уязвимостей не нашли, но инструмент нашёл старые баги в предыдущих версиях.
AlphaProof Code — мультиагентный фреймворк, который за 4 недели доказал корректность кода Signal на Lean (6 млн строк). Агенты на Gemini Carbon нашли, что только 1% кода требует ручной проверки. Система обнаружила две ранее исправленные уязвимости.
Anthropic запустила 1000 агентов Fable 5.2, которые за 30 часов записали доказательство Великой теоремы Ферма на языке Lean. Opus 5.5 за то же время осилила лишь 26%. Внутренний тест CVE Rediscovery: Mythos 5.2 нашла 89.6% уязвимостей против 78.3% у Mythos 5.1.