Xây dựng MatchDay AI: một autopilot có khả năng ghi nhớ cho việc di chuyển đến sự kiện
Tôi đã xây dựng MatchDay AI cho Qwen Cloud Global AI và OpenAI Build Week Hackathon và nộp nó chỉ cho Track 4: Autopilot Agent. Khả năng bộ nhớ bền vững của nó cũng phù hợp với Track 1, nhưng chúng là yếu tố khác biệt trong một bài nộp Track 4 — không phải là một mục nhập cho track thứ hai. Đột phá cốt lõi là quy trình làm việc hoàn chỉnh: hiểu một yêu cầu lộn xộn, nhớ lại các sở thích liên quan, gọi các công cụ đã được định kiểu, phát hiện xung đột làm hỏng chuyến đi, sửa chữa kế hoạch và xác minh độc lập kết quả.
[Xem Kiến trúc]
kiến trúc
kiến trúc-frontend
kiến trúc-bộ nhớ
kiến trúc-autopilot
Vấn đề và giá trị của nó
Tìm kiếm chuyến bay không giống như lập kế hoạch chuyến đi đáng tin cậy. Một chuyến bay có thể trông rẻ nhưng lại đến quá muộn sau khi tính thời gian di chuyển đến sân bay và khoảng thời gian an toàn cho người hâm mộ. Một sở thích quen thuộc có thể biến mất giữa các phiên. Một liên kết người bán cũ có thể trả về kết quả rỗng. Một ước tính tuyến đường có thể bị nhầm lẫn với giá vé, hoặc dữ liệu nhà cung cấp không đầy đủ có thể trở thành một tuyên bố đặt chỗ không chính đáng.
Đối với một sự kiện quan trọng, đó không phải là những thất bại về mặt hình thức: một đề xuất tồi có thể khiến toàn bộ chuyến đi trở nên vô giá trị. MatchDay biến chúng thành các ràng buộc rõ ràng, trạng thái bằng chứng và các kiểm tra xác minh trước khi hiển thị một kế hoạch là hoàn chỉnh.
Cách MatchDay hoạt động
Đường dẫn sản xuất là:
1Người hâm mộ → Next.js trên Vercel → facade máy chủ đã ký → Alibaba ECS2→ Caddy + FastAPI + PostgreSQL + worker bền bỉ3→ Qwen Cloud + công cụ du lịch/bối cảnh đã định kiểu4→ chuẩn hóa → xếp hạng → phát hiện xung đột → sửa chữa → xác minh5→ phiên bản chuyến đi bất biến và chia sẻ an toàn quyền riêng tư
qwen3.7-plus của Qwen Cloud là bộ điều khiển lập kế hoạch sản xuất. Nó diễn giải ngôn ngữ tự nhiên, phân loại từng lượt, giải quyết sự mơ hồ, chọn công cụ đã định kiểu, đề xuất các thay đổi bộ nhớ có căn cứ, chọn từ các ứng cử viên sửa chữa được cho phép và giải thích kết quả. Cổng kết nối có giới hạn được triển khai trong qwen.py, trong khi vòng lặp công cụ bền bỉ nằm trong agent.py.
Mô hình không bao giờ tự chứng nhận câu trả lời của mình. Mã xác định sở hữu các lược đồ, ràng buộc fixture, xác thực bằng chứng, số học gói, thực thi ràng buộc, phát hiện xung đột, áp dụng sửa chữa và hợp đồng phát hành 14 điểm kiểm tra độc lập trong safety.py. Đây là quyết định kiến trúc quan trọng nhất: sử dụng mô hình để phán đoán, nhưng sử dụng mã để xác thực sự thật.
Bộ nhớ bền vững tuân theo cùng một nguyên tắc. Các sự kiện người dùng rõ ràng và hành vi đã được xác minh lặp đi lặp lại đi vào một nguồn sự thật duy nhất có phạm vi chủ sở hữu, nhưng một chuyến đi bất thường không âm thầm trở thành sở thích vĩnh viễn. Hành vi chỉ được thăng cấp sau khi được củng cố qua các chuyến đi gốc riêng biệt. Bộ nhớ hỗ trợ truy xuất có giới hạn, không gian tên dành riêng cho chuyến đi, ưu tiên tin nhắn hiện tại, sửa lỗi, hết hạn, thay thế, xóa, vô hiệu hóa và tái sử dụng có thể kiểm toán trong memory.py.
Tự động hóa là bền bỉ, không phải là không giới hạn. PostgreSQL leases, fencing tokens, checkpoints, thử lại, hủy bỏ, idempotency và các giới hạn về thời gian/mô hình/công cụ/chi phí tích lũy cho phép công việc bị gián đoạn tiếp tục mà không chạy mãi mãi hoặc tiêu cùng một ngân sách hai lần. Runtime nằm trong runs.py, và triển khai Alibaba bắt đầu các dịch vụ API, run-worker, fixture-refresh, PostgreSQL và Caddy riêng biệt trong docker-compose.yml.
Nơi Codex tăng tốc công việc
Qwen là trí thông minh runtime của MatchDay. Codex với cấu hình GPT-5.6 Sol Max là công cụ tăng tốc kỹ thuật của tôi. Tôi đã sử dụng một phiên bản hybrid có giới hạn của vòng lặp Peter-style của OpenClaw — xác định, xây dựng, tấn công, kiểm tra, sửa chữa — trên các phần nhỏ, có thể xác minh độc lập.
Codex đã tăng tốc việc theo dõi kiến trúc, triển khai, tạo kiểm thử hồi quy, phân tích nguyên nhân gốc rễ, đánh giá đối nghịch, QA trình duyệt và xác minh triển khai. Nó đã giúp phơi bày những vấn đề mà một bản demo theo đường hướng hạnh phúc có thể bỏ sót: bất đồng nguồn sự thật bộ nhớ sau khi chỉnh sửa thủ công, truy xuất sai giữa các phiên, chuyển giao chuyến bay cũ hoặc không có kết quả, prompt và indirect injection, SSRF và chuyển hướng không an toàn, tấn công phát lại, cách ly tenant, tranh chấp đồng thời, checkpoint cũ và kết xuất bản đồ hoặc 3D bị suy giảm.
Các quyết định sản phẩm chính vẫn được giữ rõ ràng: tôi đã chọn ranh giới tin cậy Qwen-so-với-xác định, ngưỡng thăng cấp bộ nhớ hai chuyến đi, phân loại bằng chứng, checkpoint con người cho các tuyên bố không được hỗ trợ hoặc rủi ro cao và ranh giới phát hành không mua hàng. Codex đã rút ngắn vòng lặp phản hồi và tấn công từng tuyên bố; nó không thay thế các quyết định sản phẩm và an toàn đó.
Cách nó ánh xạ đến các tiêu chí đánh giá
- Đổi mới và sáng tạo AI: MatchDay kết hợp bộ nhớ xuyên phiên với một Autopilot bền bỉ, sửa chữa có kiểm soát bằng chứng và một bộ xác minh độc lập. Đường ray
Đã nhớ → Phát hiện xung đột → Kế hoạch đã sửa → Kết quả đã xác minhhiển thị làm cho kiến trúc đó có thể kiểm tra được thay vì ẩn nó sau một phản hồi trò chuyện.
- Chiều sâu kỹ thuật và kỹ thuật: Qwen Cloud thúc đẩy các quyết định đã định kiểu; Alibaba ECS chạy mặt phẳng điều khiển và thực thi FastAPI/PostgreSQL; Vercel cung cấp ranh giới frontend đã ký. Kho lưu trữ bao gồm các đánh giá mù nguồn, kiểm thử hợp đồng nhà cung cấp, kiểm tra đồng thời PostgreSQL và các hành trình Playwright trên Chromium, Firefox và WebKit.
- Giá trị vấn đề và tác động: Sản phẩm B2C hiện tại bảo vệ người hâm mộ lên kế hoạch cho các chuyến đi sự kiện quan trọng, tốn kém và nhạy cảm về thời gian. Đường dẫn B2B trong tương lai là một agent lập kế hoạch có thể nhúng hoặc white-label cho các đại lý du lịch, sử dụng hàng tồn kho, chính sách, quy tắc phê duyệt và kênh khách hàng của họ. Kiến trúc nhà cung cấp AGPL-3.0 cũng hỗ trợ việc áp dụng mã nguồn mở.
- Trình bày và tài liệu: Ban giám khảo có thể dùng thử ứng dụng trực tiếp mà không cần thông tin đăng nhập, kiểm tra dấu vết quyết định thực tế, sử dụng bản đồ và ống kính sân vận động minh họa với các ranh giới bằng chứng rõ ràng, xem bản demo ngắn và tạo lại mọi sơ đồ kiến trúc từ nguồn Graphviz của nó.
MatchDay hiện đang tập trung vào việc lập kế hoạch du lịch World Cup và không mua vé du lịch. Bằng chứng thương mại trực tiếp phụ thuộc vào quyền truy cập nhà cung cấp đã được cấu hình; giá cả, hàng tồn kho, tình trạng sẵn có hoặc điều khoản hoàn tiền bị thiếu vẫn hiển thị là không xác định. Du lịch sự kiện rộng hơn và nhúng đại lý là các hướng sản phẩm, không phải là tuyên bố về bản phát hành hiện tại.
Mục tiêu rất đơn giản: một agent du lịch tự động không chỉ đơn thuần tạo ra câu trả lời — nó nên ghi nhớ một cách có trách nhiệm, hành động trong phạm vi bằng chứng, sửa chữa những gì không an toàn và chứng minh kế hoạch cuối cùng.
