MathOverflow 揭示了数学生产的哪些方面？
社会与信息网络
2013-05-07 v1 数字图书馆
历史与综述
物理与社会
摘要
最高水平的数学研究传统上被视为一种孤独的活动。然而，数学家自身的新创新正开始利用社会计算的力量来创造新的数学生产模式。我们研究了这样一个系统的有效性，并借鉴人工智能和基于计算机的数学提出了改进建议。我们分析了面向研究数学家的社区问答系统 MathOverflow 中的样本问题及其回复内容。我们发现 MathOverflow 非常有效，我们样本中 90% 的问题得到了完全或部分解答。典型的回复是一种非正式的对话，允许错误和推测，而非严格的数学论证：我们样本中 37% 的讨论承认了错误。回复通常呈现回复者已知且易于其他用户核实的信息：因此 MathOverflow 的有效性源于信息共享。我们得出结论，通过人与机器的结合来扩展 MathOverflow 的能力和范围，为人工智能和计算数学带来了新的挑战，特别是如何处理错误、类比和非形式推理。
引用
@article{arxiv.1305.0904,
title = {What does mathoverflow tell us about the production of mathematics?},
author = {Ursula Martin and Alison Pease},
journal= {arXiv preprint arXiv:1305.0904},
year = {2013}
}
备注
Appeared in SOHUMAN, 2nd International Workshop on Social Media for Crowdsourcing and Human Computation, at ACM Web Science 2013, May 1, 2013, Paris http://eipcm.org/sohuman2013/