Theo Beating, xAI đã công bố Grok Build Plugin Marketplace, một marketplace tích hợp trong công cụ lập trình AI terminal của hãng, cho phép nhà phát triển duyệt, cài đặt và cập nhật các công cụ bên thứ ba trực tiếp ngay trong dòng lệnh. Mỗi plugin gói gọn các năng lực AI, giao thức điều khiển (MCP) và công cụ gợi ý mã (LSP) vào một gói duy nhất, loại bỏ nhu cầu cấu hình rải rác. Các plugin ban đầu bao gồm MongoDB để truy vấn cơ sở dữ liệu trực tiếp và tối ưu hóa, Vercel để kiểm soát triển khai l

Kỹ sư Tập đoàn Ant Chen Cheng đã thực hiện reverse engineering mã nguồn Claude Code 2.1.81, tiết lộ cơ chế quyết định Auto Mode của nó. Cơ chế này thực hiện phán xét gọi công cụ thông qua đường ống quyết định bốn tầng, chỉ khi ba tầng trước không thể phán xét thì mới gọi bộ phân loại AI độc lập để thực hiện kiểm tra bảo mật. Thiết kế bộ phân loại tập trung vào giám sát rủi ro, có cơ chế ngắt mạch và kiểm soát tần suất chèn lời nhắc hành vi.

Mistral AI phát hành Leanstral, một mã tác nhân nguồn mở, được thiết kế đặc biệt cho xác minh hóa hình thức Lean 4, có khả năng tạo mã và chứng minh có thể được tự động xác thực. Mô hình sử dụng kiến trúc MoE thưa thớt, hoạt động vượt trội so với các mô hình hàng đầu khác, và cung cấp tải xuống miễn phí và gọi API.

Tin tức Gate News Bot, ngày 28 tháng 8, theo tình hình từ CoinMarketCap, tính đến thời điểm viết bài, TREE (Treehouse) hiện có giá 0.55 USD, tăng lên 80.38% trong 24 giờ qua, cao nhất đạt 0.59 USD, thấp nhất giảm còn 0.28 USD, khối lượng giao dịch trong 24 giờ đạt 156 triệu USD. Vốn hóa thị trường hiện khoảng 85.6 triệu USD, tăng lên khoảng 38.2 triệu USD so với hôm qua.
TIN TỨC QUAN TRỌNG GẦN ĐÂY VỀ TREE:
1️⃣ **Treehouse ra mắt giải pháp công nghệ sáng tạo**
Dự án Treehouse gần đây đã ra mắt một giải pháp công nghệ sáng tạo mang tên "Timeout Trees", nhằm giải quyết vấn đề mở rộng của nhà cung cấp dịch vụ ánh sáng (Lightning Service Provider). Công nghệ này đã tiến