一位数学教授花了10页prompt,让AI关上了1996年至今的复杂度缺口 ...