我感觉大部分时间都在读定义，而不是在接触想法
几何分析方向的博后吐槽：读文献大部分时间在 decipher 定义和前置工具，而不是接触核心idea。用Gauss-Bonnet定理举例——要理解它得先啃拓扑、流形、Riemannian几何一堆基础，感觉离"聪明的想法"越来越远。问除了组合学还能转什么方向。
评论
点赞
收藏AI与数学：8月15日讨论帖
Reddit r/math 的 AI 与数学讨论帖，用于分享 AI 辅助数学发现及相关讨论。
一个"疯狂"数学家的量子力学入门
一名数学物理双学位学生用泛函分析视角重新讲解量子力学，认为希尔伯特空间、自伴算子、薛定谔方程等看似诡异的框架，从正确数学角度切入后会显得是唯一可能的定义。文章是Substack长文的导引，侧重教学与概念理解，而非实验物理方法。
从第一性原理推导拉格朗日力学
两位作者写了一篇从第一性原理推导拉格朗日力学和欧拉-拉格朗日方程的文章，试图回答"拉格朗日是怎么想到这个的"而非直接给出拉格朗日量的定义。文章以《降临》中外星人思维方式的科幻设定作为引子，指出大多数物理教材（包括费曼物理学讲义）都直接从拉格朗日量是什么开始讲，而不是解释它从何而来。
真因子之和大于自身的数占比是否收敛于某个已知值？
过剩数（真因子之和大于自身的数）的渐近密度约为24.74%~24.80%，这一结果在数论中已有研究。提问者通过实验观察到约25%的比例，与理论值吻合。
r/math 新规：AI 辅助数学发现帖子仅限 ArXiv 链接
r/math subreddit 新规，AI 辅助数学发现帖子仅限直接链接到 ArXiv 摘要或非掠夺性同行评审期刊，其他讨论移至置顶 megathread。AI 辅助数学发现近期大增，引发社区争议和来自 AI 社区的水军指控。
abc猜想为何能"几乎"帮助计算机科学家
abc猜想可能帮助解决浮点数舍入的"制表者困境"，但实践中因未知常数而无法给出精确位数。文章从IEEE浮点表示出发，解释log_2等函数舍入时需要多少额外精度，再引入abc猜想来估算代数函数舍入的下界预算，最终结论是"几乎有用"——能给出大致范围但无法精确。
想扩展数学背景？UCLA Extension抽象代数课程9月开课
UCLA Extension 9月开设抽象代数课程"群、域与伽罗瓦理论（第一部分）"，由RAND退休研究员Dr. Michael Miller授课，已执教53年。课程面向成人学习者，无需先修课程，高中代数基础即可。每周二晚7-10点线下上课，需到洛杉矶校区。作者已跟课20年。
Mumford《Red Book》中O_X(X_f)=R_f证明的几何直觉
Reddit用户在追问Mumford《Red Book》中O_X(X_f)=R_f证明的几何直觉。 用户重读多次后仍觉得证明像"变魔术"——通过构造理想B={g∈R:gF∈R}，利用零点定理推出f∈rad(B)，从而证明F∈R_f。用户希望理解这个构造的动机，以及能否推广到可约簇（坐标环有零因子时无法用交定义结构层）。
r/math社区：AI推广者借数学板块引流
r/math社区发现大量AI推广者从 Singularity、Accelerate 等亲AI子版块涌入数学讨论区，作者观察到热门评论中多数非数学背景，疑似用数学作为AI宣传工具。
陶哲轩解读Sendov猜想证明
Lech Mazur用AI辅助+Lean形式化验证证明了Sendov猜想，这个复分析难题困扰学界67年。证明过程出人意料地朴素：只用代数学基本定理和Möbius变换，最深层的工具是Maclaurin不等式。Tao在博客中梳理了证明思路。
Levent Alpöge 给出所有此前未知的Hadamard矩阵构造（阶数≤2000）
数学家Levent Alpöge在X上分享了所有阶数≤2000的Hadamard矩阵的新构造，填补了此前已知列表中的所有空白。Hadamard矩阵的存在性问题是一个经典开放问题，Epoch AI也追踪了相关进展。
研究生证明分形不确定性原理
研究生Alex Cohen证明了分形不确定性原理在高维情形下的成立，论文发表在数学顶刊《Annals of Mathematics》。该结果将混沌理论、量子力学与分形结构联系起来，是数学基础领域的重要进展。
疯狂数学家：有限单群分类
有限单群分类是人类完成的最困难数学证明之一：约100位数学家耗时50年、产出数万页论文才完成，常被比作群论中的"元素周期表"。文章以基础群论知识为前提，系统介绍这一分类的结果与结构。
Mathieu群M_23是有理数域上的Galois群
数学家证明了Mathieu群M_23可以作为有理数域上的Galois群实现，这意味着所有26个 sporadic 单群都已完成这一目标，同时也完成了所有次数不超过23的传递群的Galois实现。
学术引用标准：常识性概念还需要引用吗？
学术写作中，哪些概念引用到多深才算合理？博弈论论文常用"纳什均衡"却很少引用纳什——若人人引用，纳什将有近40万引用。这类似于欧拉恒等式、高斯或牛顿的工作，已成为领域常识。引用标准何时从"必须标注"过渡到"无需引用"？
Anthropic让未发布的Claude挑战黎曼猜想
Anthropic让未发布的Claude研究黎曼猜想，将满足猜想的零点下界从41.6%提升到67.2%。 Claude并未证明黎曼猜想本身，但在相关问题上取得进展：改进了Riemann zeta函数零点分布的下界估计。这一结果来自Anthropic官方研究页面，属于可验证的数学进展而非营销宣传。AI辅助数学研究的边界在哪里，这类结果会引发关于大模型数学推理能力的讨论。
Proofs and Prompts
Proofs and prompts is a new blog about mathematics and AI. It publishes contributed posts from the mathematics community. There are three posts so far. The first post is by Fields Medalist Martin Hair...