跟帖AI破解56年数学难题登Science，成果交给同行评审