چارچوب‌های نوین برای بهینه‌سازی تمایزپذیر