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