可以解数学奥林匹克题目的人工智能

一个基于神经网络的解题AI，目前解的还是高中奥赛题，可能很快就有解大学奥赛题的出现了。不知道以后有没有AI或人工智能的方案，能够自己给自己出奥赛题……