Off the top of my head: John Carmack and Derek Sivers are Anki users.

I've met a ton of brilliant people at Olympiads who use Anki, and you'll find heavy usage from people who rank #1 in highly competitive exams (JEE Advanced, Cambridge Medicine etc...). I graduated top of my class, and I attribute this to consistent Anki usage

But, of course: there's a subset of truly incredible people who don't need it. I've met some people at 20+ languages, no Anki

----

Disclaimer: AnkiDroid maintainer. Did a bit of work on a new website today, so stats are top of mind.