LATEST IN AlphaProof Nexus
AlphaProof Nexus เฟรมเวิร์กใหม่ของ DeepMind ไขโจทย์ Erdős ที่ค้างมานาน 56 ปีสำเร็จ
DeepMind เปิดตัว AlphaProof Nexus ใช้ Gemini 3.1 Pro คู่กับ Lean เขียนบทพิสูจน์ที่ตรวจสอบได้ แก้โจทย์ Erdős 9 จาก 353 ข้อ พิสูจน์ Conjecture จาก OEIS 44 ข้อ ด้วยต้นทุนไม่กี่ร้อยดอล...
0
