“This is an important theorem, and a result I’m very proud of.”
Tao's 27 prime was much more embarassing but understandable as he's no a calculator.
Savants are for things like remembering the first million primes. Someone like Tao or Grothendieck can't remeber them beyond 20, but it doesn't mean they can't actuly reason about them.
[1] https://til.andrew-quinn.me/posts/most-2-digit-numbers-not-d...
[2]: https://en.wikipedia.org/wiki/Interesting_number_paradox