# Lean Pool: Kho lưu trữ toán học hình thức được vận hành bởi AI

- Nguồn: Hugging Face Daily Papers
- Thời gian phát hành: 2026-09-23 07:00 (giờ Việt Nam)
- Điểm AI: 85/100
- Link AIHOT.vn: https://aihot.vn/items/51d3f6cbff935880
- Link gốc: https://arxiv.org/abs/2609.25199

## Tóm tắt AI

Lean Pool là một kho lưu trữ toán học hình thức, nơi các tác nhân AI đảm nhận vai trò phát triển, duy trì và tối ưu hóa dữ liệu.

## Thân bài

Xem PDF HTML (thử nghiệm)

DOI do arXiv cấp thông qua DataCite (đang chờ đăng ký)

### Lịch sử gửi bài

Từ: Vasily Ilin [xem email] [v1] Thứ Hai, 21 tháng 9 năm 2026 17:57:30 UTC (365 KB)