大数学与单脑壁垒：立场论文与架构提案
数学软件
2019-10-23 v2 人工智能
历史与综述
摘要
在过去的几十年中，一类重要的数学结果需要越来越多的人力来完成。对于其中一些结果，计算机的辅助如今已不可或缺。我们分析了这一朝向“大数学”的趋势之影响、其与人类认知的关系，以及如何组织针对大数学的机器支持。本立场论文的核心贡献是一个用于“做数学”的信息模型，该模型假定人类能非常高效地将四个方面——推理、计算、列表与叙述——围绕一个组织良好的数学知識核心进行整合。数学软件系统所面临的挑战在于同样需要整合这四个方面。我们简要综述了当前的技术水平。
引用
@article{arxiv.1904.10405,
title = {Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal},
author = {Jacques Carette and William M. Farmer and Michael Kohlhase and Florian Rabe},
journal= {arXiv preprint arXiv:1904.10405},
year = {2019}
}