📢📢📢📢 Биткоин все еще торгуется близко к уровням поддержки на блокчейне

😐 Ранее писали как Ethereum специально упрощают, чтобы код проверил ИИ. Похоже первый результат уже есть - агенты не просто проверили код, а нашли в нём уязвимость. Исследователь Ethlabs запустил ИИ-агентов формально доказать Fast Confirmation Rule - правило, которое подтверждает блок за ~24 секунды вместо 13 минут финализации. Что произошло: Агенты за 4-5 дней расписали доказательство в Lean. Потом его адаптировали под будущий форк Glamsterdam - и доказательство не сошлось. Агенты показали где именно: баг в выборе цепочки. Его уже пофиксили. Раньше такая проверка занимала месяцы, если за неё вообще брались. Тут меньше недели - агенты крутили на ChatGPT 5.6 и Fable 5. Что это меняет: 🟢ИИ впервые не кодит, а делает аудит критической инфраструктуры 🟢Баг словили в спеке, до мейннета 🗒 ИИ-агент делает аудит протокола на сотни ярдов - и сам находит уязвимость до запуска в сеть. Как гонять свой код через агентов и верификацию разбираем в ИИ-клубе. Slavik | Updates | Инстаграм | ИИ Клуб