# StochBench: Bộ tiêu chuẩn đánh giá chuyên sâu về quá trình ngẫu nhiên trong Lean 4

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

## Tóm tắt AI

StochBench là bộ tiêu chuẩn mới gồm 450 bài toán quá trình ngẫu nhiên trình độ cao, giúp đánh giá khả năng chứng minh định lý toán học của AI trong các lĩnh vực chuyên biệt thay vì chỉ tập trung vào toán thi đấ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ừ: Vikash Singh [xem email] [v1] Thứ Ba, ngày 8 tháng 9 năm 2026 17:59:46 UTC (1.301 KB)