สัญญาแบบปรับราคาได้ (ค่า K) และการใช้ AI ในการเลือกสูตรคำนวณ และตรวจสอบค่า K