My point is this:
Can you know you are a doctor before anyone else knows it?

A very plausible PhD thesis title: We Land a Rocket Standing Upright

And Elon Musk! If my PhD student made a rocket land standing I would definitely think to grant them a PhD.

"Excuse me, I am a PhD. See how I can land a rocket standing up."

Actually, Riker calls Cochrane "Doctor", so may be he had a Doctorate before the first warp flight.

youtu.be/nIpXYU-9CBM?...

Or Zefram Chochrane: Excuse me, I am a PhD. See how far I can go with my warp drive.

Would this be like Antonie van Leeuwenhoek instantly knowing he saw something new through his microscope?

Excuse me, I am PhD. Look at this microscope picture I took.

Excuse me, I am a PhD. See commit 3f8df90.

LEAN verifies instantly: Did I just go farther than anybody before?

If yes: am I instantly a doctor?

"The book is something like Opera, where Opera, you know, has good music with a little bit of a plot. And my book was good mathematics with a little bit of a plot."

youtu.be/jB0aeePskBg?...

Doesn't it look like the introduction to a text-based adventure game?

Hehe, fun!

I will turn the first 4 chapters into an animation as a demo.

"Be yourself, work with your friends, don't tell jokes that don't make you laugh, don't tell stories that don't make you cry, and everything else is gonna come out in the wash."

I am working on a video game to teach the proof of Neyman-Pearson lemma.

When I suffer from writer's block I keep myself busy with another project: Formalizing the recent result, "A solution of the generalized quantum Stein's lemma."

It will take a long time.