การก้าวล้ำด้านคณิตศาสตร์ของ OpenAI เปิดเผยจุดอ่อนถัดไปในความปลอดภัยของเครปโทเคน

การอ้างสิทธิ์ของเขาเกี่ยวกับ Navier-Stokes ชี้ให้เห็นบทบาทที่เป็นไปได้ของ AI ในการตรวจสอบสัญญา ซึ่งข้อกำหนดที่มีข้อบกพร่องอาจทำให้ข้อบกพร่องไม่ได้รับการตรวจพบ