Presumably this entire conversation is at least somewhat typical of the way high level mathematicians talk to each other in ego-less fashion? Although, it would be interesting to what extent the model was trained on math conversation as opposed to just analysis and proofs.

The flow of the whole conversation, with Tao guiding and the model calculating, gave me the feel of Tao perhaps talking to himself - just that each of those model responses would have taken him much longer to calculate by hand.

It would be fascinating to hear Tao talk about what he may have learnt from this, and if it suggests approaches to other problems he might not have considered, as well as an analysis of the original Fable counter-example construction.