RealFeedApp 418 ошибок найдено в Python
Агенты Opus 5.5 переписали внутренние механизмы CPython на Lean, проверив 4 071 функцию и выявив 418 багов, включая 55 критических.
- Область
- программирование
- Что сделали
- ИИ написал 613 тысяч строк кода на языке Lean, который копирует внутренности Python строка за строкой, а затем компьютерные доказательства нашли в нем 418 ошибок.
- Зачем это
- Это позволяет использовать математически верифицированный код для критически важных систем, где обычные ошибки могут привести к краху программы или повреждению памяти.
#cpython#lean#ai agents#formal verification#bugs
