Được rồi, với trí tuệ và khả năng đáng kinh ngạc của GPT-5.4 và Codex, và với việc tôi tin rằng chúng ta đã đạt đến cấp độ đầu tiên của AGI, tôi sẽ bắt đầu ủy thác cho các tác nhân theo phong cách tự nghiên cứu @karpathy của riêng mình để giải quyết những vấn đề khoa học máy tính và kỹ thuật phần mềm cực kỳ khó khăn hoặc không thể giải quyết. Dưới đây là danh sách hiện tại của tôi: 1. Biên dịch viên Wasm Rust tự lưu trữ 2. ProofScript 3. Biên dịch viên AI Rust 4. Chứng minh tính hợp lệ theo thời gian thực cho tính toán tổng quát 5. Mã hóa hoàn toàn đồng nhất hiệu suất cao Tôi vừa mới bắt đầu cách đây một hoặc hai giờ với số 1. Tự lưu trữ Rust cho Wasm là điều tôi đã mong muốn ít nhất sáu năm. Điều này sẽ cho chúng ta một biên dịch viên Rust trong Wasm, vì vậy hãy tưởng tượng rustc chạy trong trình duyệt hoặc Node.js. npm install rustc, và bạn đã sẵn sàng biên dịch các chương trình Rust. Một ví dụ rất thực tế về nơi điều này sẽ hữu ích là ứng dụng web Rust playground. Hiện tại, nó chủ yếu là một kiến trúc client-server, nơi biên dịch phải diễn ra trên một máy chủ. Với rustc được biên dịch thành Wasm, chúng ta có thể loại bỏ vòng đi vòng lại đó và chỉ cần biên dịch Rust ngay trong trình duyệt. Tôi sẽ cho bạn biết mọi chuyện diễn ra như thế nào.

@mwilliammyers @karpathy FYI gpt-5.4 codex đã làm việc trên việc tự lưu trữ rustc khoảng 5-6 giờ qua, và có vẻ như nó đang gần hoàn thành việc biên dịch crate đơn giản đầu tiên của nó, rust-base64, với rustc trong wasmtime. Tôi rất hào hứng để xem liệu điều này có hoạt động không.

@mwilliammyers @karpathy Được rồi, nó chỉ lên đến bước liên kết hoàn toàn trong Wasm. Tôi đang khởi động nó bây giờ ở bước liên kết và sẽ để nó chạy trong suốt buổi sáng cho đến khi nó xong hoặc bị kẹt.