7. 有没有著名数学问题被业余爱好者解决过？