I tried to get Claude to solve a simple graph theory problem. It didn't go well.
@mjd You might already know that these numbers are really called Hadwiger numbers, but Claude obviously didn't. Relevant: section 8 of @DavidWood 's https://arxiv.org/abs/0711.1189
@11011110 @DavidWood I did not know that, thanks!
@11011110 @DavidWood I've been tinkering around with this since the 1980s; it seems it wasn't named after Hadwiger that long ago.
@mjd @DavidWood Alternative names:
"hadwiger number", B. Zelinka, "On Hadwiger number of a graph", Časopis pro pěstování matematiky, 1975, https://hdl.handle.net/10338.dmlcz/108767
"contraction clique number", Bollobás, B.; Catlin, P. A.; Erdős, Paul (1980), "Hadwiger's conjecture is true for almost every graph" (PDF), European Journal of Combinatorics, 1 (3): 195–199, doi:10.1016/s0195-6698(80)80001-1.
"homomorphism degree", Halin, Rudolf (1976), "S-functions for graphs", Journal of Geometry, 8 (1–2): 171–186, doi:10.1007/BF01917434, MR 0444522, S2CID 120256194.