AI系统Theo Conjecture近日破解了一个困扰数学界35年的图论难题。这一猜想源于1987年Siemion Fajtlowicz的Graffiti程序提出的Conjecture 448,涉及Havel-Hakimi残基的增长规律。