# Vượt xa kiểm chứng: Mô hình phần thưởng tạo sinh cho toán học hình thức

- Nguồn: HuggingFace Daily Papers (bài nghiên cứu nổi bật của cộng đồng)
- Thời gian phát hành: 2026-09-10 07:00 (giờ Việt Nam)
- Điểm AI: 37/100
- Link AIHOT.vn: https://aihot.vn/items/79f60b7bc0be8836
- Nguồn dữ liệu AI HOT: https://aihot.news/items/cmtx5710q07chroedfxikaja4
- Link gốc: https://arxiv.org/abs/2609.11085

## Tóm tắt AI

Nghiên cứu chỉ ra lỗi VPU trong mô hình toán học hình thức, nơi mã nguồn sai vẫn vượt qua kiểm định. Tác giả chứng minh các phương pháp kiểm tra hiện tại về cơ bản không hiệu quả hơn việc đoán ngẫu nhiên.

## 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ứ Năm, 10 tháng 9, 2026 04:47:55 UTC (1.422 KB)