#着色问题

朋友A对朋友B说：刚看到一篇新论文，用Claude和GPT Pro辅助证明了图论里的一个新结果，对无长诱导路径图的着色下界进行了改进，挺有意思的。