#调和分析
共 7 篇相关文章
·16 分钟
研究生证明分形上的量子不确定性原理：跨越傅里叶分析与几何的突破
一位研究生成功为分形结构证明了量子不确定性原理，建立了函数在分形集合上集中程度与傅里叶变换之间的定量约束，将经典调和分析延伸到分形领域，为数学与物理交叉研究开辟新方向。
阅读全文 →
·14 分钟
AI花2000美元攻克30年数学难题，意味着什么
OpenAI模型Astra用24小时、2000美元解决十道数学难题，包括困扰数学界近30年的群论问题。形式化证明可独立验证，递归自我改进门槛首次被跨越，而全球AI治理体系几乎毫无准备。
阅读全文 →
·11 分钟
AI冲击下的数学：一位数学家的深夜自省
当AI开始证明定理，数学家如何看待自身价值？本文解读《数学的黑夜》一文引发的热议，探讨AI对数学研究的真实冲击、数学家的存在主义焦虑，以及人机协作的未来可能性。
阅读全文 →
陶哲轩谈AI与数学：形式化证明、人机协作与未来展望
·8 分钟
陶哲轩谈AI与数学：形式化证明、人机协作与未来展望
菲尔兹奖得主陶哲轩深度分析AI对数学研究的影响，探讨大语言模型辅助证明、Lean形式化验证、大规模协作模式等前沿话题，以及AI时代数学教育的变革方向。
阅读全文 →
陶哲轩谈AI编程助手：数学家视角下的应用开发变革
·5 分钟
陶哲轩谈AI编程助手：数学家视角下的应用开发变革
菲尔兹奖得主陶哲轩分享AI编程助手使用体验，探讨如何重构旧应用、快速搭建新工具。从数学家视角解析AI编程助手的能力边界，以及对知识工作者和职业开发者的深远影响。
阅读全文 →
前沿研究·4 分钟
OpenAI推翻80年离散几何猜想：AI如何解决单位距离问题
OpenAI模型成功推翻困扰数学界80年的单位距离问题核心猜想，标志着AI驱动数学研究进入新阶段。本文解析问题背景、AI解题方法及对数学研究和AI发展的深远影响。
阅读全文 →
