The diameter of the Erdös component of the collaboration graph
There is a very large literature on this, written by people doing "network science". One of the names you might want to look up is that of Mark Newman, see for example his papers The structure of scientific collaboration networks or Who is the best connected scientist? A study of scientific coauthorship networks as well as Clustering and preferential attachment in growing networks. Another important player in this field is Albert-Laszlo Barabasi, whose group had a model (for the web graph) which is somewhat similar to what you suggest, Emergence of scaling in random networks. Some of this work is reviewed nicely in Statistical Mechanics of Complex Networks. The model by Barabasi et al is studied in mathematical terms by Bollobas-Riordan-Spencer-Tusnady's The degree sequence of a scale-free random graph process.
To answer your specific question on the diameter, I would expect it to be quite small ("six degress of separation"); whether it decreases in time must depend on the relative rate of birth of new vertices versus new edges (collaborations). If you take a finite graph and add completely random links, then already a few links lead to a diameter which is logarithmic in the size of the network. I think this remains the case also if you weigh your edge creation mechanism by the distance of the vertices; I once played with a model where the only new edges were created between 2-step neighbours, which still lead to small diameter.
The paper "Some analyses of Erdős collaboration graph" by
Vladimir Batagelj and Andrej Mrvar
(Social Networks
Volume 22, Issue 2, May 2000, Pages 173-186)
is filled with fascinating data and analysis as of 2000.
(Because this is [now more than] a decade old, it does not answer your question.)
Here is their figure of "cliques of the main core," with many recognizable names
(if you can read them at this resolution!).
I see many (63) later papers that cite this one, but none that directly update it for this
specific Erdös graph.
In the long run, the diameter will grow. Let k be an upper bound to the number of years between a mathematician's first and last publication. Then nk years after Erdos' last publication, all new nodes in the Erdos component will have Erdos number at least n, so the diameter will be at least n.
(I am assuming here that there will be new nodes, which is not true for very large values of n. Also, I am assuming that k is constant, but only to keep the estimate "nk" simple.)