姚期智杨植麟首次联手给 AI 出的博士级题目,Kimi 多画出了「关键一条边」 Kimi 刷新 629 条边图论参考纪录,只多加了1条边,为什么数学界等了这么多年? 郑佳美 11月12日 17:09 AI 大模型 人工智能