图灵机时代的数学
Mathematics in the Age of the Turing Machine
摘要：
本文综述了计算机计算和形式证明的数学证明。
英文摘要：
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
图灵之后的不可计算性
Incomputability after Alan Turing
不可计算性作为一个数学概念，起源于阿兰·图灵和阿朗佐·丘奇在20世纪30年代的工作。就像图灵本人一样，它在数学领域之外吸引的注意力比它应得的要少。今天，我们在计算机科学、物理学、生物学、人工智能、经济学和人文科学方面的经验都表明了这一概念对于理解我们周围世界的重要性。这篇文章以图灵百年来的视角来审视可计算世界和不可计算世界之间的接口是如何形成图灵工作的中心主题的-从早期建立存储程序计算机的标准模型，到后期关于自然界形式出现的工作，以及理解和模拟人类智能的第一种方法。图灵的思想非常有先见之明，他的遗产仍然影响着我们的许多工作。不可计算的可能会成为遗产中特别重要的一部分，其后果是艾伦·图灵本人无法想象的。
cs.CCcs.LOmath.HO
谁写的？图灵、全变差与AI文本检测的数学
Who Wrote This? Turing, Total Variation, and the Mathematics of AI-Text Detection
Dartmouth College（达特茅斯学院）；Geisel School of Medicine at Dartmouth（达特茅斯盖泽尔医学院）
本文基于图灵测试与统计决策理论，用全变差距离量化AI文本检测的理论极限，指出完美检测需分布不重叠，并强调实际中分布变化、基础比率及人机混合使检测更复杂，且区分性、归属等是不同任务。
math.HOmath.STstat.TH
动态水平集
Dynamic Level Sets
本文提出动态水平集概念，通过不可计算的物理过程实现逻辑水平集的自我修改，挑战传统图灵机计算理论的边界。
cs.CCcs.CLmath-ph
AI时代的数学家培养：智力主体性、认知外包与博士论文
Training Mathematicians in the Age of AI: Intellectual Agency, Cognitive Offloading, and the PhD Thesis
本文主张在AI时代，研究生数学教育应围绕智力主体性培养，区分生产性与过早认知外包，提出独立与AI增强互补的训练模式，并重新定义博士论文与答辩的角色，使学术数学成为人类数学专业知识的再生产与管理机构。
math.HO
布莱切利园对英国数学的遗产
The legacy of Bletchley Park on UK mathematics
本文考察二战期间布莱切利园的密码工作如何影响 Ian Cassels、Philip Hall 等数学家战后的研究方向，进而塑造英国数学的发展。
cs.CRmath.HO
人工智能时代的数学家
Mathematicians in the age of AI
本文探讨AI在数学领域证明定理的能力，并呼吁数学家关注技术发展对数学实践的影响。
cs.AImath.HO
