Đã xác nhận — anh ấy đăng bài này vào ngày 17 tháng 9, là chuỗi thảo luận an ninh AI thứ hai trong 10 ngày.$G $UNI
*Buterin vs luận điểm AI gây diệt vong:*
1. *Ngày 7 tháng 9:* Bác bỏ tuyên bố của Liron Shapira rằng AI sẽ làm BTC sụp 50% trong 2 năm. Nói rằng BTC không cần sự đồng thuận xã hội cho các bản vá ở lớp mạng — chỉ cần bản vá từ phía client/pool khai thác là đủ, rủi ro bị phá vỡ
2. *Ngày 17 tháng 9:* Bài đăng dạng dài mới về thẩm định:
- *Ý chính:* "AI cho bạn khả năng viết lượng lớn mã với chi phí là độ chính xác, và thẩm định hình thức sẽ trả lại độ chính xác cho bạn" — mã AI cẩu thả chỉ là vấn đề tạm thời, vì chứng minh đã được xác minh là vĩnh viễn; lỗi chỉ xảy ra một lần
- *Phòng thủ kiểu cypherpunk:* Người bảo vệ có lợi thế. Tương lai ảm đạm khi AI tạo ra những phần mềm nguồn mở không thể bảo vệ được sẽ phá vỡ tinh thần tự do internet
- *Anh ấy đang xây dựng:* Arklib = STARKs đã được xác minh hình thức, evm-asm = EVM có thể thẩm định được, kèm ví dụ chạy trực tiếp — các tác nhân AI đã tìm thấy *CVE-2026-34219* gây crash từ xa trong libp2p Gossipsub; dự án http://better.codes tích hợp AI + các chứng minh có thể kiểm tra bằng máy
- *90% giá trị ròng trong crypto* — nói rằng nắm giữ crypto là canh phòng để giữ nhịp với đòn tấn công
*Những giới hạn anh ấy thừa nhận:*
- Rủi ro về đặc tả: bản chứng vô giá trị nếu đặc tả sai, định nghĩa có thể dài 1000+ dòng
- Phần cứng không thể được xác minh hình thức như phần mềm, thêm nữa là trình biên dịch, side-channel, quản trị, lỗi oracle
*Phía tấn công vẫn có thật:* Báo cáo mối đe dọa tháng 9 của Anthropic — ghi nhận AI tự động hóa nghiên cứu lỗ hổng, phát triển exploit, các chiến dịch nhắm nhiều mục tiêu; 2.300 lỗ hổng do AI tìm thấy trên 392 dự án OSS, 832 tài khoản dùng AI trên toàn chuỗi tấn công (kill chain), một số pipeline tạo ra zero-day đã được xác thực trong môi trường thử nghiệm
Vậy nên lời kêu gọi của anh ấy: AI không làm cho các cuộc tấn công trở nên không thể ngăn chặn — nó làm cho *việc thẩm định trở nên đủ rẻ* để thu hẹp phần lõi được tin cậy. Không phải hoảng loạn, mà là "giữ lõi an toàn nhỏ, thậm chí thu hẹp nó thêm."#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
*Buterin vs luận điểm AI gây diệt vong:*
1. *Ngày 7 tháng 9:* Bác bỏ tuyên bố của Liron Shapira rằng AI sẽ làm BTC sụp 50% trong 2 năm. Nói rằng BTC không cần sự đồng thuận xã hội cho các bản vá ở lớp mạng — chỉ cần bản vá từ phía client/pool khai thác là đủ, rủi ro bị phá vỡ
2. *Ngày 17 tháng 9:* Bài đăng dạng dài mới về thẩm định:
- *Ý chính:* "AI cho bạn khả năng viết lượng lớn mã với chi phí là độ chính xác, và thẩm định hình thức sẽ trả lại độ chính xác cho bạn" — mã AI cẩu thả chỉ là vấn đề tạm thời, vì chứng minh đã được xác minh là vĩnh viễn; lỗi chỉ xảy ra một lần
- *Phòng thủ kiểu cypherpunk:* Người bảo vệ có lợi thế. Tương lai ảm đạm khi AI tạo ra những phần mềm nguồn mở không thể bảo vệ được sẽ phá vỡ tinh thần tự do internet
- *Anh ấy đang xây dựng:* Arklib = STARKs đã được xác minh hình thức, evm-asm = EVM có thể thẩm định được, kèm ví dụ chạy trực tiếp — các tác nhân AI đã tìm thấy *CVE-2026-34219* gây crash từ xa trong libp2p Gossipsub; dự án http://better.codes tích hợp AI + các chứng minh có thể kiểm tra bằng máy
- *90% giá trị ròng trong crypto* — nói rằng nắm giữ crypto là canh phòng để giữ nhịp với đòn tấn công
*Những giới hạn anh ấy thừa nhận:*
- Rủi ro về đặc tả: bản chứng vô giá trị nếu đặc tả sai, định nghĩa có thể dài 1000+ dòng
- Phần cứng không thể được xác minh hình thức như phần mềm, thêm nữa là trình biên dịch, side-channel, quản trị, lỗi oracle
*Phía tấn công vẫn có thật:* Báo cáo mối đe dọa tháng 9 của Anthropic — ghi nhận AI tự động hóa nghiên cứu lỗ hổng, phát triển exploit, các chiến dịch nhắm nhiều mục tiêu; 2.300 lỗ hổng do AI tìm thấy trên 392 dự án OSS, 832 tài khoản dùng AI trên toàn chuỗi tấn công (kill chain), một số pipeline tạo ra zero-day đã được xác thực trong môi trường thử nghiệm
Vậy nên lời kêu gọi của anh ấy: AI không làm cho các cuộc tấn công trở nên không thể ngăn chặn — nó làm cho *việc thẩm định trở nên đủ rẻ* để thu hẹp phần lõi được tin cậy. Không phải hoảng loạn, mà là "giữ lõi an toàn nhỏ, thậm chí thu hẹp nó thêm."#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
