无需理解的自动化

数学 > 历史和概述 arXiv:2607.06377（数学）[2026 年 7 月 7 日提交] 标题：没有理解的自动化 作者：Jun-Yong Park 查看 Jun-Yong Park 题为“没有理解的自动化”论文的 PDF 文件，作者：Jun-Yong Park 查看 PDF HTML（实验） 摘要：两项发展同时展开：人工智能系统已经开始产生真正的研究级数学，而美国正在削弱培养人类能力的管道了解此类系统正在做什么。本文认为，综合来看，这些发展构成了战略错误。数学能力是经过训练的验证、解释和挑战数学推理的能力，它不是定理产生的副产品，而是一种基础设施形式，是由机构几代人建立起来的，无法根据需要重建。这篇文章利用 2026 年 5 月人工智能对平面单位距离问题上长期存在的埃尔多斯猜想的反驳，以及最近联邦对数学科学支持的中断，提出了将数学能力视为与半导体能力同等的战略资产的理由。除其他措施外，它还进一步提出，执行结果推理的人工智能系统必须以正式的、机器可检查的形式公开其决策关键主张，将部分人工智能推理从不透明的说服转换为可审计的结构。评论：10页。欢迎发表评论 主题：历史和概述 (math.HO) 引用为：arXiv:2607.06377 [math.HO]（或此版本的 arXiv:2607.06377v1 [math.HO]） https://doi.org/10.48550/arXiv.2607.06377 重点了解更多 arXiv 通过 DataCite 发布的 DOI提交历史记录 发件人：Jun-Yong Park [ 查看电子邮件 ] [v1] 星期二，2026 年 7 月 7 日 15:15:05 UTC (12 KB) 全文链接： 访问论文：查看 Jun-Yong Park 题为“Automation Without Understanding”的 PDF 论文 查看 PDF HTML（实验性） TeX 源代码 查看许可证 当前浏览上下文：math.HO < prev |下一页 > 新 |最近 | 2026-07 更改浏览方式：数学 参考文献和引文 NASA ADS Google Scholar 语义学者导出 BibTeX 引文 正在加载... BibTeX 格式的引文 × 正在加载... 数据提供者： 书签 书目工具 书目和引文工具 书目浏览器 切换书目浏览器（什么是浏览器？） 关联论文 切换关联论文（什么是关联论文？） Litmaps 切换 Litmaps（什么是 Litmaps？） scite.ai 切换 scite 智能引文（什么是智能引文？） 与本文相关的代码、数据、媒体 代码、数据和媒体 alphaXiv 切换 alphaXiv（什么是 alphaXiv？） 链接到代码切换 CatalyzeX 论文代码查找器（什么是 CatalyzeX？） DagsHub 切换DagsHub （什么是 DagsHub？） GotitPub 切换 Gotit.pub （什么是 GotitPub？） Huggingface 切换 Hugging Face （什么是 Huggingface？） ScienceCast 切换 ScienceCast （什么是 ScienceCast？） 演示 演示 Replicate 切换 复制 （什么是 Replicate？） Spaces 切换 Hugging Face 空间 （什么是 Spaces？） 空间切换TXYZ.AI（什么是 TXYZ.AI？）相关论文推荐器和搜索工具链接到 Influence Flower Influence Flower（什么是 Influence Flowers？）核心推荐器切换 CORE 推荐器（什么是 CORE？）作者地点机构主题关于 arXivLabs arXivLabs：与社区合作者的实验项目 arXivLabs 是一个框架，允许合作者直接在我们的网站上开发和共享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都接受并接受了我们开放、社区、卓越和用户数据隐私的价值观。 arXiv 致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。您有一个能为 arXiv 社区增加价值的项目想法吗？了解有关 arXivLabs 的更多信息。这篇论文的哪些作者是认可者？ |禁用 MathJax（什么是 MathJax？）