Sparkdex: AI Risk Management in DeFi — A Sparkdex Case Study