The oriented diameter of a connected graph without graph bridges is the minimum graph diameter among its graph orientations that are strongly connected. A strongly connected digraph has a directed graph path from every vertex to every other vertex. Such graph orientations exist by Robbins' theorem.
Let
be the largest oriented diameter among connected graphs
without graph bridges and with graph
diameter
.
Chen et al. (2026) proved
where
is the ceiling function and the lower bound was
previously known. Independently, Ai et al. (2026b) obtained
. Thus
. Chen et al. (2026) describe ChatGPT
assistance that suggested the preliminary core-subgraph approach, while attributing
the final coefficient improvement to their subsequent argument. Ai et al. (2026b)
report ChatGPT assistance with exploration, proof development, and computations.
The two teams subsequently obtained the joint bound (Ai et al. 2026a)
Thus the additive error beyond the lower bound is at most 18. Ai et al. (2026a) report ChatGPT assistance with exploring proof strategies, while attributing the final argument to the authors.