Comment by tptacek

Also note the timestamp: he started working on this thread a few hours after the tweet.

> Clearly one can get from Theorem 3 to Theorem 2 by composing with the isomorphism {X \cong {\bf C}^3} and using the previously mentioned fact that local injectivity implies non-zero constant Jacobian.

I mean, clearly, right?

You and me both, pal.

I like how he goes one-on-one with it like Gandalf fighting Yoda on fifteen planes at once for 80% of the transcript, and then we read "OK, I've activated Pro."

> I'm bad at math ... he includes the GPT5 prompts for his conversation, which are easier to follow

You were kidding, right?

[flagged]