Deepseek-Prover-V2
การให้เหตุผลทางคณิตศาสตร์อย่างเป็นทางการผ่าน RL
เด่น
2 โหวต
คำอธิบาย
Deepseek-Prover-V2 เป็น AI โอเพนซอร์ซปฏิวัติทฤษฎีบทอย่างเป็นทางการที่พิสูจน์ได้ใน Lean 4 ขับเคลื่อนโดย Deepseek-V3 มันได้รับอัตราการผ่าน 88.9% สำหรับการทดสอบ minIF2F และแก้ปัญหา 49/658 Putnambench