OpenAI’s math solutions aren’t meeting the field’s standards yet

OpenAI เพิ่งปล่อยหลักฐานคณิตศาสตร์ยากหลายร้อยชิ้นอ้างว่าแก้ได้ แต่กลุ่มที่ปรึกษา AGMAI ชี้ว่ายังไม่เข้าเกณฑ์ที่ตัวเองกำหนด โดยเฉพาะการขาดความเข้าใจจากมนุษย์และการตรวจสอบจริง งานวิจัยใหม่ยังพบช่องว่างระหว่างคำอธิบายภาษาธรรมชาติกับโค้ด Lean ที่ใช้ยืนยัน ทำให้ชุมชนคณิตศาสตร์ยังไม่ไว้ใจผลลัพธ์จาก AI เพียงลำพัง