Maxwell: Mô hình AI mới nằm giữa mã nguồn và phần cứng, tự tối ưu code khi đang chạy

Trong nhiều thập kỷ, cách chúng ta lập trình gần như không thay đổi: con người quyết định chương trình phải làm gì, rồi máy tính thực thi từng chỉ thị một cách máy móc và chính xác đến từng dấu chấm phẩy. AI những năm gần đây đã tham gia vào khâu viết code, nhưng vẫn dừng lại ở đó — nó viết ra chương trình rồi rời đi, để lại phần thực thi hoàn toàn cho phần cứng "câm lặng".

Startup doubleAI vừa công bố một hướng đi khác, táo bạo hơn nhiều.

Maxwell — mô hình AI sống bên trong chương trình

doubleAI giới thiệu Maxwell, mà họ gọi là Code Execution Model (CEM) — một loại mô hình nằm giữa mã nguồn và phần cứng. Theo nhà sáng lập Gal, Maxwell không chỉ đọc code mà còn "nhìn thấy" chương trình từ bên trong: các bản trace, thông tin profiling, và luồng dữ liệu chảy qua chương trình.

"Maxwell khiến code chạy nhanh hơn ngay trong lúc nó đang chạy, mà không cần thay đổi một dòng nào."

Ý tưởng cốt lõi khá đơn giản để hiểu: thay vì con người và các coding agent (như Claude Code hay Codex) liên tục tối ưu lại code cho từng use-case, từng loại phần cứng và từng dòng dữ liệu khác nhau, Maxwell đảm nhận việc đó một cách tự động. Nó phát hiện điểm nghẽn (bottleneck), tạo ra phiên bản mã máy mới được tối ưu riêng cho đúng phần cứng đang chạy và đúng dữ liệu đang chảy qua.

Tại sao AI trước đây không tham gia khâu thực thi?

Bài viết của doubleAI mở đầu bằng một giai thoại thú vị về Alan Turing. Năm 1952, Turing chơi cờ với đồng nghiệp Alick Glennie bằng cách tự mình "làm máy tính": ông viết chương trình cờ vua ra giấy và tuân thủ từng chỉ thị một cách trung thành, mỗi nước đi mất khoảng nửa giờ. Ông thua.

Điểm mấu chốt: Turing thực thi chương trình đúng như viết, dù đôi khi cải tiến có vẻ rất hiển nhiên. Và cách làm đó vẫn tồn tại đến ngày nay — mọi suy nghĩ đều diễn ra trước khi chương trình chạy, không có chút tư duy nào trong hoặc sau quá trình thực thi. Maxwell được thiết kế để phá vỡ ranh giới đó.

Bảo đảm an toàn bằng chứng minh hình thức

Câu hỏi lớn nhất đặt ra: nếu Maxwell tự sửa code đang chạy mà không có con người kiểm duyệt, làm sao đảm bảo nó không phá hỏng chương trình?

Câu trả lời của doubleAI là chứng minh hình thức (formal verification) — chính công cụ đang cách mạng hóa toán học hiện nay. Mọi phiên bản code mới mà Maxwell tạo ra đều đi kèm một chứng minh tương đương ngữ nghĩa (proof of semantic equivalence): chứng minh rằng với mọi đầu vào và mọi tình huống có thể xảy ra, chương trình mới cho kết quả và tác động y hệt chương trình cũ.

Nhóm cho biết đã đạt được bước đột phá trong việc hình thức hóa hoàn chỉnh ngôn ngữ Python — vốn cực kỳ khó vì tính động cao (một biến có thể đổi kiểu từ dòng này sang dòng khác, thậm chí định nghĩa lại phép cộng khi đang chạy). Họ cũng cho hay Maxwell xử lý cả code CPU lẫn GPU.

Một ví dụ đơn giản trong bài viết: vòng lặp Python đếm số cặp phần tử được thay bằng công thức n * (n - 1) / 2 viết bằng Rust, kèm chứng minh quy nạp rằng hai hàm tương đương nhau trên miền giá trị xác định.

Điểm khác biệt so với trình biên dịch thông thường

Cần phân biệt Maxwell với các công cụ đã có:

• Trình biên dịch và JIT (như torch.compile, PyPy) chỉ áp dụng những phép biến đổi mà kỹ sư đã viết sẵn từ trước.
• Các superoptimizer như STOKE chỉ tối ưu những đoạn mã máy ngắn, không có vòng lặp, và tối ưu một lần rồi thôi.
• Maxwell viết lại toàn bộ hàm, kể cả thuật toán, bên trong chương trình thực tế đang chạy. Nó thích nghi với phần cứng cụ thể và dữ liệu thực tế, tiếp tục tối ưu khi một trong hai thay đổi, và chứng minh tính tương đương thay vì chỉ kiểm thử.

Chính vì có chứng minh máy kiểm tra được, Maxwell có thể mạnh dạn thực hiện những phép biến đổi mà không trình biên dịch hay kỹ sư nào dám liều.

Ý nghĩa đối với cộng đồng công nghệ

doubleAI lập luận rằng năng lực tính toán là một trong những tài nguyên khan hiếm nhất thế giới, và phần lớn trong số đó bị tiêu tốn vào việc chạy code chậm hơn mức có thể. Mỗi chương trình được Maxwell tăng tốc là một phần tài nguyên được trả lại.

Mô hình này bổ trợ chứ không thay thế các coding agent: agent viết chương trình, còn Maxwell đảm bảo cỗ máy chạy nó tối ưu nhất. Với các đội ngũ ở Việt Nam đang vận hành hệ thống AI, xử lý dữ liệu lớn hay chạy inference LLM (như vLLM), đây là hướng tiếp cận đáng theo dõi — thay vì phải tối ưu thủ công cho từng cấu hình GPU, có thể để lớp thực thi tự thích nghi.

Maxwell hiện mở early access tại heymaxwell.ai. Đội ngũ doubleAI khẳng định sản phẩm sẽ sớm ra mắt rộng rãi và bày tỏ háo hức muốn thấy "một thế giới đầy những Maxwell" sẽ trông như thế nào.