Seed-Prover của ByteDance đứng đầu bảng xếp hạng trên PutnamBench với 329 trong số 657 bài toán được giải quyết bằng Lean! 🤯 6 tháng trước, không có mô hình nào có thể giải quyết >2%, giờ SOTA là 50%. Chúng ta đang bước vào một kỷ nguyên mới của khả năng chứng minh định lý...
70,41K