The idea would be that you should not fiddle with the minds who try to independently evaluate your works, so that is not a feasible approach to truth seeking.
While in organic chemistry, this way, valid progress was made, you can always avoid a perpetuum mobile inventor and get conned.
This is pretty much what a person that proivded patronage to a matematician used to be. API prompters are people who provide patronage for AI mathematicians.
You don't talk with them about the discoveries. About discoveries you should talk with who actually made them. Namely the LLMs.
Another analogy might by that you shouldn't expect to have interesting discussion about the essence of art with art producer.
Just thank them for the inference they covered and interact with the results instead.
"When the architect completes a fine building, he removes the scaffolding." - Carl Friedrich Gauss
The valuable part that Tao is feeling the absence of is the insight, and you can only get that from talking to the swarm of agents that developed the original proof with all of their context.
So to me it feels like we don't need Math 2.0, but Authorship 2.0. I want to "meet" the context that generated these proofs. I mean luckily these were not generated by faceless systems like a SAT solver, you can actually talk to it, but I'm not sure if we can step beyond our pride and grant the true authors of these proofs that recognition.