Calling Lean "AI" is quite a stretch. Though I'm also in the camp that dislikes the inflationary use of "AI" for LLMs, so I have sympathies for your viewpoint.
To me "AI" is machine learning, statistical algorithms trained on data. That's not true for Lean.