AI chỉ mất 3 giờ tính toán để chinh phục giả thuyết bán Riemann! Gần đây, OpenAI đã công khai 722 bản thảo toán học tiên phong, loại bỏ triệt để các điểm không của Landau–Siegel vốn đã làm khó giới lý thuyết số gần một thế kỷ. Trong đó, 63% kết quả đi kèm chứng minh máy được hình thức hóa bằng Lean. Quỹ Simons còn khẩn cấp cấp 5 triệu USD để giúp các học giả giải mã những suy luận của AI. Điều này có nghĩa AI đã hoàn toàn vượt qua nút thắt ảo giác bịa đặt xác suất, bước vào kỷ nguyên suy luận có thể kiểm chứng và không có lỗ hổng thông qua nguyên lý “chứng minh chính là chương trình” (đẳng cấu Curry–Howard). Với Web3, xác minh hình thức bằng Lean chính là Chén Thánh tối thượng cho zkVM thế hệ tiếp theo và kiểm toán tự động hợp đồng thông minh — khi AI có thể chứng minh một bài toán lý thuyết số trăm năm tuổi chỉ trong 3 giờ, các lỗ hổng bảo mật trong những giao thức quản lý hàng chục tỷ USD trên chuỗi sẽ được toán học máy móc loại bỏ triệt để. Tính toán có thể kiểm chứng và tài chính bản địa máy móc đang thực sự tiến đến điểm kỳ dị! Bạn có nghĩ rằng chứng minh hình thức bằng AI sẽ khiến hacker hợp đồng thông minh hoàn toàn thất nghiệp không? $BTC $BNB $ETH #BTC #Crypto #AI #Web3