Sahar Diskin、Philip Easo、Ritvik Ramanan Radhakrishnan、Benny Sudakov和Vincent Tassion五位数学家在2025年12月于瑞士苏黎世联邦理工学院完成了渗流理论中的"超临界锐度猜想"的证明。这一猜想是困扰学界数十年的难题，涉及流体在无限传递图上的…
AI系统Theo Conjecture近日破解了一个困扰数学界35年的图论难题。这一猜想源于1987年Siemion Fajtlowicz的Graffiti程序提出的Conjecture 448，涉及Havel-Hakimi残基的增长规律。