Ý TƯỞNG, QUYẾT ĐỊNH & BÀI HỌC

Bài viết

Ghi chép về AI, kiến trúc và xây dựng sản phẩm từ thực tế.

80 bài viết

14 Sep 2026 · 6 phút đọc

ai

Benchmark Vector Database Của Bạn Đang Nói Dối (Của Mình Cũng Vậy)

Qdrant ra bộ benchmark 10 tỷ document ngày 1/9/2026, dựng từ hơn một triệu tỷ phép tính khoảng cách brute-force. Mình đem pattern filter thật của production ra chạy lại với benchmark cũ 1 triệu vector từng tin tưởng. Khoảng cách đó giải thích đúng cái chậm mà trước giờ chưa ai tìm ra nguyên nhân.

Đọc tiếp

09 Sep 2026 · 8 phút đọc

ai

Claude hình thức hóa Định lý cuối của Fermat bằng Lean: 13 triệu dòng chứng minh máy-kiểm-tra dạy gì cho người xây agent

Claude của Anthropic tạo ra một chứng minh Lean dài 13 triệu dòng, được máy xác minh toàn bộ, cho Định lý cuối của Fermat trong 11 ngày thông qua bộ điều phối mã nguồn mở Prove2Me. Góc nhìn Tech Lead: pattern điều phối đa agent phía sau nó có ý nghĩa gì cho bất kỳ team nào đang xây agent tự động chạy dài hạn.

Đọc tiếp