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

[est]

比如遇到这种题目

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

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

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

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

[efi]

题库： http://www.matrix67.com/blog/

[efi]

我觉得v2ex是有关键词监控的。发一个关键词过一阵就会被编辑掉，或者删掉。

[est]

@efi 那种比较睾端，受众太狭窄了。。。普遍高中以上才会去看吧。我的想法是把小孩从题海中解救出来。可以理解为一种比百度知道(全文索引+关键词匹配)更加“聪明”的答题平台。

[est]

@efi 可能是写cache。我抢楼遇到过。过一会儿又刷出来了。

[efi]

@est 是真的关键词被编辑没了
还有就是有关键词能在用户页看见在帖子里看不见

[est]

@efi 想法出发点是这样的： matrix67 那种级别的问题，是真正有兴趣的人才会去研究，没有必要去做这一块。

而中小学的题目，很多是sb老师蛋痛无聊发明的去折磨小孩的工具。这样的工具才有一点实际意义。

[efi]

@est 折磨小孩锻炼脑力，也没怎么折磨
这个可以做成出题机

[est]

@efi 这都被你猜中了。。。。。。。。热门题目1元看答案，随机出题5元一道。

可以根据全国看答案情况出一道 3σ 的人都解不出来的题目。复杂度评估，等等。

[est]

@efi 怎么说呢，初等算术，再怎么锻炼也只是初等方法，适量锻炼，非常赞同，过度折磨，就是无聊了。弄来弄去就是pattern了。计算机是最合适做有pattern的事。

[efi]

这个贴你亏本了

[est]

@efi 之前挖的坑就是为了这种帖子嘛。嗯。

[TimLang]

@est 你这个很多啊，比如有app叫什么学霸x的，直接手机拍照上传，帮你搜答案。