AI破解卡凯亚猜想

10月27日，OpenAI宣告其模型破解卡凯亚猜想（又名挂谷猜想）。而2025年初，中国数学家王虹刚刚因为证明三维卡凯亚猜想震惊世界。仅仅一年半的时间，“王的猜想”就成了AI成果的一个特例。