AI-driven fuzzing uncovers heap buffer overflow in Lean 4 runtime