OpenAI 722篇数学手稿里最硬核的一篇：Cannon猜想被证明了。31页论文用组合模方法拿下几何群论近40年难题，还附了Lean形式化验证。AI已经能构造人类卡住的关键引理。 #AI #数学 ​