MIT纯数学的教师Cameron Freer，正着手建立一个令人感兴趣的项目vdash.org，一个数学维基，只允许加入真实的数学定理。 它将基于自由软件定理证明工具Isabelle，这个wiki中的所有数学知识将写成一种机器可阅读的语言形式，计算机将验证所有定理的正确性，从而提供一个类似交互式证明助手的知识库。Freer在O'Reilly Ignite Boston 4（视频，PDF）会议上将vdash.org描述成——交互式理论证明 + 计算机检验数学库 + Web界面。除了对教育和研究有益外，这个项目或许能揭示数学领域之间未发现的联系。
