Ai cũng nghĩ AI nên thay mặt các nhà toán học chứng minh định lý, nhưng Terence Tao lại để nó dọn dẹp trang web cũ 30 năm. Trong một ngày, di chuyển 560 bài báo, và từ mã nguồn cũ do chính tay ông viết hơn hai thập kỷ trước, phát hiện ra hai lỗi mà ngay cả ông cũng không biết.
Xây dựng năm 1997, chỉ sửa một dòng chữ cũng phải mở terminal gõ tay HTML, bảo trì gần như liên tục trong suốt ba mươi năm.
Gần đây, Terence Tao đã giao trang chủ cá nhân của mình cho một AI agent thông minh.
Chỉ trong một ngày, 560 bài báo và bản in trước, 374 ghi chép du lịch, 68 khóa học, 19 cuốn sách, 29 tiện ích toán học nhỏ, đã được di chuyển hàng loạt từ kiến trúc cũ gần 30 năm, tái định cư trên GitHub Pages.
Còn đáng nói hơn việc chuyển nhà, là những phát hiện trên đường đi.
AI đã lục lọi trong trang web cũ gần ba mươi năm, tìm ra một đống thông tin mâu thuẫn nhau, các mục lỗi thời và liên kết hỏng. Những lỗi này, là do chính ông trong suốt ba mươi năm, từ từ để sót lại.
Nó cũng thuận tay chuyển đổi loạt tiện ích nhỏ cũ viết bằng Java 1.0 thành JavaScript, và trong mã nguồn do chính Terence Tao viết tay hơn hai mươi năm trước, tìm ra hai lỗi mà ngay cả ông cũng không biết.
Lần này, AI không đi chứng minh định lý, việc nó thay mặt nhà toán học làm, là "công việc số hóa" mà họ không muốn đụng tới nhất.
Kiến trúc cũ gần 30 năm, ông ấy vẫn duy trì đến tận năm 2026
Trang chủ của Terence Tao được xây dựng năm 1997, khi đó ông vẫn là trợ lý giáo sư Hedrick tại UCLA, trang web treo một chuỗi dài liên kết ngoài được sắp xếp thủ công, từ nhóm tin sci.math đến bộ truyện ông yêu thích "The Wheel of Time".
Chuẩn Web 1.0. Mỗi trang một chủ đề, đầy màn hình liên kết chữ, hoàn toàn dựa vào bảo trì thủ công.
Ngày 21 tháng 5 năm 1997, Terence Tao khi còn là trợ lý giáo sư, và trang chủ vừa được xây dựng của ông.
Gần ba mươi năm, kiến trúc này không bao giờ thay đổi.
Terence Tao không ngừng thêm thứ vào đó: trang con chi tiết của hơn ba trăm bài báo, ghi chép giảng dạy, lịch trình du lịch, CV, sửa lỗi sách. Cách làm luôn là sửa từng trang một, sửa xong tải lên thủ công, những năm đầu dùng vi gõ tay trong tài khoản Unix.
Ông từng nhượng bộ duy nhất một lần cho thế kỷ 21, là chuyển sang dùng trình soạn thảo web hiện đại để tạo HTML, cái giá là mã nguồn cồng kềnh hơn nhiều so với phiên bản ông tự gõ năm xưa.
Nội dung tăng trưởng tuyến tính, nhưng chi phí bảo trì lại tăng theo cấp số nhân. Trên đường đi, ông từng chuyển trang sách, lời khuyên nghề nghiệp sang blog, giảm bớt chút ít, nhưng vẫn còn vụng về.
Khi nội dung tích tụ ngày càng dày, chi phí sửa đổi cũng ngày càng cao, đến một điểm tới hạn nào đó, bạn sẽ bắt đầu mặc nhiên cho phép những lỗi đó nằm lại ở đó.
Những tiện ích Java nhỏ đó chết còn triệt để hơn. Trình duyệt bỏ rơi Java 1.0, một mình ông cũng không có sức chuyển đổi hai chục chương trình sang ngôn ngữ mới, trang web cứ thế treo lơ lửng, treo suốt mười năm.
YAML mới là sự thật, trang web chỉ là một "bản in"
Terence Tao nói, ông gần đây mới nhận ra: có AI agent, việc di chuyển hệ thống cũ gần ba mươi năm này, vốn dĩ nên là một việc thường lệ.
Sau đó, ông thử nghiệm. Quá trình "khá nhẹ nhàng", ông nói như vậy.
Điểm mấu chốt là, ông không để AI viết lại một loạt HTML, mà để AI xây dựng lại một đường ống dữ liệu.
Kho lưu trữ mới này tên là tao-web, logic giống như nhà in vậy.
Bản thảo gốc là YAML trong thư mục data, tám loại nội dung mỗi loại một thư mục; schema quản lý định dạng, quy định mỗi trường nên như thế nào.
Hai script Python, một để kiểm tra hàng hóa, một để in. Nếu kiểm tra không qua, mã nguồn căn bản không thể đẩy lên được. Trang web in ra ném vào thư mục site, không vào kho lưu trữ phiên bản.
Cuối cùng đẩy một lần nhánh main, GitHub Actions tự động kiểm tra một lần, in một lần, phát một lần.
Kho lưu trữ tao-web. README ghi rõ: YAML là nguồn sự thật duy nhất, trang web được tạo ra. (Nguồn ảnh: GitHub teorth/tao-web)
Một câu trong README của kho lưu trữ, chống đỡ toàn bộ kiến trúc: YAML là nguồn sự thật duy nhất, trang web được tạo ra.
Phía sau còn theo một câu quy tắc thao tác: sửa dữ liệu, tuyệt đối không sửa HTML được tạo ra trong thư mục site.
Trong hệ thống cũ, mỗi trang là một sự thật độc lập. Cùng một thông tin nằm rải rác trên năm trang, sửa sót một cái, chúng bắt đầu "đánh nhau".
Trong hệ thống mới, sự thật chỉ tồn tại một bản. Trang web bị hạ cấp thành lớp hiển thị, giống như một tờ giấy có thể in lại bất cứ lúc nào.
Thư viện kiến thức của một người, như vậy từ một đống tài liệu biến thành một cơ sở dữ liệu.
AI trong mã nguồn cũ của ông, chỉ ra hai lỗi
Di chuyển xong dữ liệu, Terence Tao thuận tay làm thí nghiệm thứ hai.
Từ năm 1999, để làm trực quan hóa cho các khóa giải tích phức và đại số tuyến tính, ông đã lần lượt viết một loạt tiện ích nhỏ bằng Java 1.0. Năm đó phản hồi khá tốt.
Sau này, trình duyệt không còn hỗ trợ phiên bản Java đó nữa, loạt thứ này tập thể lỗi thời.
Bây giờ, ông để agent thông minh chuyển đổi chúng sang JavaScript, hơn 20 tiện ích nhỏ, vài tiếng đồng hồ toàn bộ sống lại.
Mô hình lớn viết mã sẽ tạo ra các lỗi rõ ràng hoặc ẩn giấu, trong việc chuyển đổi những tiện ích nhỏ này, Terence Tao chỉ tìm thấy một lỗi: một tiện ích giải tích phức nào đó khi kéo ra ngoài khung hiển thị chính, hành vi không đúng lắm.
Ngược lại, agent thông minh trong mã nguồn gốc của ông, tìm ra hai lỗi mà chính ông chưa bao giờ nhận thức được.
Một vào một ra, phán đoán của ông là: chất lượng mã nguồn bằng nhau, không lời lỗ.
Một người đoạt giải Fields, bị AI chỉ ra hai chỗ sai trong mã nguồn của chính mình hơn hai mươi năm trước.
Ông lập tức vạch ra một ranh giới cho kết luận này: những tiện ích nhỏ này là công cụ trực quan hỗ trợ, không phải phần then chốt của luận chứng toán học, hậu quả rủi ro khi xảy ra lỗi vốn dĩ không cao.
Kéo ra khỏi khung, người dùng tự phát hiện ra. Còn nếu viết sai chứng minh, đó là sự cố nghề nghiệp.
Ranh giới này, chính là then chốt của phương pháp luận này của Terence Tao.
Chương trình giải tích phức ban đầu được Terence Tao viết bằng Java từ năm 1998 đến 2000, ngày nay mỗi cái đều ghi bên dưới: được chuyển đổi với sự hỗ trợ của Claude Code. (Nguồn ảnh: teorth.github.io/tao-web)
Sai không đáng sợ, sửa không được mới đáng sợ
Terence Tao không tránh né vấn đề ảo giác.
Ông nói rõ, AI hiện đại vẫn có xu hướng ảo giác, quá trình di chuyển có khả năng đã đưa vào những lỗi mới.
Nhưng sau khi ông tự kiểm tra, tỷ lệ lỗi hiện tại "trông có vẻ thực sự thấp hơn trước". Và quan trọng hơn, việc sửa lỗi quy mô lớn trở nên dễ dàng hơn nhiều.
Dĩ nhiên, đây là ấn tượng sau khi ông kiểm tra lại thủ công, không phải số liệu sau khi chạy đánh giá.
Terence Tao không so sánh AI với "hoàn hảo", mà so sánh "AI cộng kiểm tra lại thủ công", với việc ông "bảo trì thủ công thuần túy ba mươi năm".
Bảo trì thủ công bản thân nó là một cỗ máy liên tục sản sinh lỗi, chỉ có điều nó sai ba mươi năm, không ai có tinh lực để kiểm tra.
Đa số tranh luận về AI, mắc kẹt ở một vấn đề "nó có sai không". Terence Tao chủ yếu đánh giá ai có tỷ lệ sai thấp hơn, chi phí sửa lỗi của ai nhỏ hơn.
Lỗi tồn đọng không đáng sợ, đáng sợ là sửa không được. Trang cũ sửa một thông tin phải lật năm trang, trang mới sửa một dòng YAML, toàn trang tự động xây dựng lại.
Một ý tưởng bị gác lại 27 năm, hai tiếng đồng hồ làm xong
Chuyển đổi xong chương trình cũ, ông quyết định đi thêm một bước nữa.
Năm 1999, ông từng có một ý tưởng đầy tham vọng: làm một công cụ trực quan hóa cho thuyết tương đối hẹp.
Ông muốn một bảng vẽ có thể vẽ thuyết tương đối: đặt một quỹ đạo chuyển động lên, đổi góc nhìn của người quan sát, cả bức tranh sẽ tự vặn mình theo quy tắc của thuyết tương đối. Dùng lời ông nói, "Inkscape trong không gian Minkowski".
Ông thậm chí đã động tay viết mã Java, cuối cùng bị độ phức tạp của mã nguồn khuyên lui, dự án gián đoạn.
Ông và agent thông minh vibe coding hai tiếng đồng hồ, ý tưởng năm 1999 đó được làm ra.
Ngày 11 tháng 7, trình mô phỏng biểu đồ không thời gian này lên mạng, trở thành ứng dụng nguyên bản đầu tiên trên trang mới, chính ông đánh dấu đây vẫn là phiên bản alpha.
Trình mô phỏng biểu đồ không thời gian được lên ý tưởng năm 1999, lên mạng 27 năm sau. Cùng một chuyến du hành liên sao, vẽ hai lần cho hai hệ quy chiếu trái phải. (Nguồn ảnh: teorth.github.io/tao-web)
Năm đó cản trở ông không phải là toán học, là độ phức tạp của mã nguồn, 27 năm sau, mảnh ghép này được bổ sung.
Terence Tao đưa ra một chú thích cho toàn bộ sự việc.
Ông nói, bảo trì trang web có lẽ là một trong những khâu kém hấp dẫn, kém thú vị nhất trong quy trình làm việc học thuật. Mà chính xác là loại nhiệm vụ thường lệ nhàm chán như vậy, đặc biệt phù hợp với nền tảng hiện đại, ví dụ GitHub, và cũng đặc biệt phù hợp với công cụ tự động hóa, trong đó vừa bao gồm AI hiện đại, cũng bao gồm script xác định truyền thống.
Bao nhiêu phòng thí nghiệm, tạp chí, cơ quan nghiên cứu, còn đang đè nặng HTML, Excel và thư mục cục bộ mấy chục năm. Công việc thực tế đầu tiên của agent thông minh, có thể chính là kỹ sư di chuyển những "tài sản số" này.
Dĩ nhiên, việc này chứng minh AI phù hợp làm di chuyển tài liệu, cấu trúc hóa và bảo trì tự động, không có nghĩa AI đã có thể xử lý đáng tin cậy mọi dữ liệu học thuật, càng không có nghĩa kiểm tra lại thủ công có thể bỏ qua.
Thứ thực sự bị thay đổi, là mối quan hệ giữa một nhà toán học và tích lũy ba mươi năm của ông: trước đây ông phải tự tay quản lý bảo trì những tích lũy này, bây giờ ông là người kiểm tra cuối cùng.
Tài liệu tham khảo:
https://mathstodon.xyz/@tao/116893088594916122
https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/
https://github.com/teorth/tao-web
https://teorth.github.io/tao-web/https://news.ycombinator.com/item?id=48880170
Bài viết này từ tài khoản công chúng WeChat "Tân Trí Nguyên", tác giả: ASI Khải Thị Lục
