想开个博客，开放式投稿，利用 z3, prolog 或者 sympy 专攻“小学奥数”

比如遇到这种题目

http://news.mydrivers.com/1/431/431389.htm

通过编程解题，做得比较好的话，还可以简化归纳出步骤。。。。。。。。。。。。

最终的目标是训练机器学习自动做奥数题。。。。。。。。。

大家觉得如何？用个 Jupyter 挂个交互式前端，后面用julia R C++ octave 都可以计算。