精通高等数学就一定解得出IMO的题目吗?