DeepSeek ra mắt mô hình chứng minh toán học Prover-V2
DeepSeek đã phát hành mô hình chuyên dụng Prover-V2 trong lĩnh vực chứng minh định lý toán học, nhằm tự động chứng minh các định lý trong hệ thống xác minh hình thức Lean 4 bằng AI.
Tin tức và phân tích Chứng minh AI
1 bài đã kiểm chứng về Chứng minh AI, sản phẩm và diễn biến ngành.