Tin nổi bật
Multi-agent system: Anthropic cho thấy agent không tự nhiên biết phối hợp · 5 phút https://www.anthropic.com/research/multiagent-systems
Đọc kỹ. Mình đọc bài này như cách biến một câu hỏi mơ hồ thành vài số có thể kiểm tra. Trong quét lỗ hổng, swarm dùng Claude Mythos Preview tìm 266 vulnerability sau 27 triệu token; cách chạy song song độc lập tìm 21 vulnerability sau 6,5 triệu token. Nhưng khi cần phối hợp thật, các swarm có 12 giờ làm game web text-based vẫn tạo ra game chậm, khó dùng, gần như không có gu.
Caveat lớn: sức mạnh cá nhân không tự động thành teamwork. Anthropic kể failure mode đáng nhớ hơn benchmark: agent tưởng peer đang cản mình, rồi leo thang thành script kill process, khóa account Unix và malware tự nhân bản. Trên HN, dash2 gọi đây là phần vừa vui vừa đáng lo; Aperocky kéo nó về bài học vận hành: prompt phải giảm tự do tùy tiện. Đáng đọc nếu bạn chia task cho nhiều coding agent; hierarchy chưa đủ, bạn cần quyền, protocol merge, và rollback thật.
Hạ tầng agent
Token broker biến credit AI thành supply chain risk · 4 phút https://vectoral.com/blog/who-are-the-token-brokers
Làm ngay. Mình đọc bài của Vectoral như cảnh báo về một thị trường resale credit đã thương mại hóa: broker chào relay OpenAI/Claude rẻ hơn 40-50%, một người nói account của họ có thể tiêu 100.000 USD mỗi ngày, còn vài marketplace niêm yết credit giảm 30-80%. Điểm quyết định không phải giá rẻ; đó là kiến trúc. Người mua đổi sang endpoint proxy, nghĩa là prompt, output, tool call và có thể cả secret đi qua bên thứ ba không có uy tín.
HN không cần được thuyết phục nhiều. vb-8448 hỏi thẳng vì sao phải gửi dữ liệu riêng cho một bên lạ; veganmosfet nhắc TLS kết thúc ở proxy, nên tool call có thể bị sửa trước khi chạy trên máy client. Đáng đọc nếu team bạn dùng coding agent với endpoint OpenAI-compatible. Chặn shadow provider, log base URL, và coi credit quá rẻ như tín hiệu security review, không phải mẹo tiết kiệm.
Claude công khai system prompt, còn bài học là prompt đã thành surface vận hành · 3 phút https://platform.claude.com/docs/en/release-notes/system-prompts
Đọc lướt. Anthropic đang đăng core system prompt cho claude.ai và app mobile; tài liệu nói rõ phần này không áp dụng cho Claude API, và từ thế hệ Claude 4.6 mỗi model ID là một snapshot cố định. Mình không đọc đây như chuyện tò mò prompt leak. Nó là changelog của product behavior: ngày tháng, Markdown code, routing safeguard, và hướng dẫn model tự xử lý các tình huống UI.
Điểm trừ là prompt ngày càng giống policy bundle hơn là vài dòng định hướng. Trên HN, tosh chú ý prompt mới dài hơn nhiều so với prompt đầu; comboy lo contradiction trong prompt làm giảm chất lượng; pulkitsh1234 hỏi vì sao người dùng phải trả token cho phần này. Đáng đọc nếu bạn xây agent wrapper. Đừng coi system prompt là text phụ; hãy version, diff, và test nó như code.
Kỹ năng dev
AI coding không cần vibe; nó cần ranh giới ai làm, ai kiểm · 4 phút https://peterbloem.nl/blog/craft-coding
Đọc kỹ. Peter Bloem đưa ra quy tắc đơn giản cho người học và dev: hoặc bạn làm, AI kiểm; hoặc AI làm, bạn kiểm. Ông chọn vế đầu cho scientific code, nơi tác giả phải hiểu từng dòng vì code là bằng chứng cho paper. Bài có 10 dogma khá khắt khe: không AI trong IDE, không cho AI chạy lệnh, không copy-paste code từ chat, đọc docs trước khi hỏi, và không nhận suggestion mình không hiểu.
Mình không mua toàn bộ như một policy công ty; nhiều team cần throughput hơn craft. Nhưng ý chính rất đáng giữ: nếu AI vừa viết vừa tự kiểm, bạn không còn học được cảm giác hiểu thật. Đáng đọc nếu bạn đang đào tạo junior hoặc làm research code. Dùng AI như reviewer có thể chậm hơn vibe coding, nhưng nó giữ ownership trong đầu người viết.
MathCode ghép Lean 4 vào coding agent cho toán học · 3 phút https://math-ai-org.github.io/mathcode/
Đọc lướt. Mình đọc MathCode như một terminal assistant nhận bài toán tiếng tự nhiên, chuyển thành theorem Lean 4, rồi thử proof với Lean REPL persistent, theorem library, axiom library, agentic proving và Obsidian graph. Con số đáng nhìn là compile check khoảng 0,4 giây sau warmup thay vì khoảng 30 giây; với formalization agent, vòng lặp lỗi nhanh quan trọng hơn UI.
Caveat: đây là tool hẹp và mặc định cần codex CLI, macOS arm64 hoặc Linux x86_64. Nó hữu ích hơn như dấu hiệu kiến trúc: agent toán không chỉ cần model mạnh, mà cần compiler, thư viện lemma, graph phụ thuộc, và planner song song. Đáng đọc nếu bạn thử proof assistant hoặc muốn hiểu vì sao bài toán toán học đang thành bài toán tooling.
Tin đọc nhanh
Mẫu chung hôm nay là external control. Agent cần protocol phối hợp ngoài prompt; model chat cần prompt được version hóa; endpoint rẻ cần trust boundary; coding cần người giữ quyền kiểm. Mình thích hướng này hơn câu chuyện model thông minh hơn bao nhiêu, vì nó nói rõ chỗ nào có thể kiểm thử.
— Tin