权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

MathSoMac: the social machine of mathematics

MathSoMac：数学社交机器

基本信息

批准号：
EP/K040251/2
负责人：
Ursula Martin
金额：
$ 146.07万
依托单位：
University of Oxford
依托单位国家：
英国
项目类别：
Fellowship
财政年份：
2014
资助国家：
英国
起止时间：
2014 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FK040251%2F2
关键词：
MathSoMac social machine mathematics

项目摘要

Mathematics is a profound intellectual achievement with impact on all aspects of business and society.For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. "Crowdsourcing" pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs that are just too long and complicated for any human to comprehend, using programs designed to verify hardware.Yet these techniques are currently used in stand-alone fashion, lacking integration with each other or with human creativity or fallibility.Social machines are new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity. Our long-term vision is to change mathematics, transforming the reach, pace, and impact of mathematics research, through creating a mathematics social machine: a combination of people, computers, and archives to create and apply mathematics.Thus, for example, an industry researcher wanting to design a network with specific properties could quickly access diverse research skills and research; explore hypotheses; discuss possible solutions; obtain surety of correctness to a desired level; and create new mathematics that individual effort might never imagine or verify. Seamlessly integrated "under the hood" might be a mixture of diverse people and machines, formal and informal approaches, old and new mathematics, experiment and proof.The obstacles to realising the vision are that(i) We do not have a high level understanding of the production of mathematics by people and machines, integrating the current diverse research approaches (ii) There is no shared view among the diverse re- search and user communities of what is and might be possible or desirableThe outcome of the fellowship will be a new vision of a mathematics social machine, transforming the reach, pace and impact of mathematics. It will deliver: analysis and experiment to understand current and future production of mathematics as a social machine; designs and prototypes; ownership among academic and industry stakeholders; a roadmap for delivery of the next generation of social machines; and an international team ready to make it a reality.

数学是一项深刻的智力成果，影响着商业和社会的方方面面。几个世纪以来，数学的最高水平一直被视为一种孤立的创造性活动，以产生供同行审查和接受的证据。随着新技术从根本上扩展个人的能力和极限，数学现在正处于一个显著的拐点。“众包”将不同的专家聚集在一起来解决问题；符号计算处理大量的例行公事计算；计算机使用为验证硬件而设计的程序，检查任何人都无法理解的太长和太复杂的证据。然而，这些技术目前以独立的方式使用，缺乏彼此的整合，或者缺乏人类的创造力或错误。伯纳斯-李发现，社交机器是一种新的范式，用于将人和计算机的组合视为一个单一的解决问题的实体。我们的长期愿景是通过创建一台数学社交机器来改变数学，改变数学研究的覆盖范围、速度和影响：将人、计算机和档案结合起来创建和应用数学。例如，想要设计一个具有特定属性的网络的行业研究人员可以快速获得不同的研究技能和研究；探索假设；讨论可能的解决方案；确保正确性达到期望的水平；并创建个人努力可能无法想象或验证的新数学。无缝集成的“引擎盖下”可能是不同的人和机器、正式和非正式的方法、旧的和新的数学、实验和证明的混合体。实现这一愿景的障碍是：(I)我们没有对人和机器创造数学的高层次理解，整合了当前不同的研究方法(Ii)不同的研究和用户社区对什么是可能的或想要的没有共同的看法。该奖学金的结果将是一个数学社交机器的新愿景，改变数学的覆盖范围、速度和影响。它将提供：分析和实验，以了解作为社交机器的数学的当前和未来生产；设计和原型；学术和行业利益相关者的所有权；交付下一代社交机器的路线图；以及准备使其成为现实的国际团队。