Programming Language Theory has a public relations problem10 months agohttps://happyfellow.bearblog.dev/programming-language-theory-has-a-public-relati...编程语言理论（PLT）常被外界误解，认为其晦涩难懂且不切实际。PLT被欣赏为一门纯粹的数学艺术，需要系统教育才能完全理解。PLT的理论成果常被过度吹捧其实际应用价值，最终导致失望。PLT缺乏其他数学分支的互联性，使得难以在已有成果上持续构建。PLT的高度抽象性让初学者难以掌握核心概念。PLT的困难源于编程语言本身的复杂性和庞大的设计空间。解决方案包括：诚实展现PLT的美学价值、编写更友好的入门资料，以及简化证明过程。
Generating (almost) equally-spaced points along a parabola10 months agohttps://arjuns07.github.io/posts/07-2025-equidistant-parabolic-points/文章讨论了在无尽跑酷游戏中沿抛物线生成等距点以放置金币的方法。最初采用固定时间间隔或水平间隔采样的方法导致金币间距不均匀。考虑过使用弧长的数学方法，但由于复杂度高而被认为不切实际。一种通过近似无穷小弧长变化的简化方法提供了更美观且性能更好的解决方案。最终方案在数学近似与实际实现之间取得平衡，在不增加大量计算负担的情况下提高了视觉一致性。
Mathematician has solved the Kakeya conjecture10 months agohttps://english.elpais.com/science-tech/2025-07-14/what-is-the-smallest-space-in...1917年由挂谷宗一提出的挂谷猜想，探讨了使一根针旋转180度所需的最小表面积。王虹与约书亚·扎尔在三维空间破解了挂谷猜想，这是21世纪数学界的重大突破。该证明过程包含复杂计算，全文长达127页，其中精妙的推理目前仅两位作者能完全掌握。王虹的研究将挂谷猜想与调和分析中的限制性猜想相联系，后者在医学成像和数字文件压缩领域具有实际应用。限制性猜想主要研究傅里叶变换在球面等曲面上的行为特征。王虹采用波包和重叠超立方体方法，被数学家安东尼奥·科尔多瓦形容为'巴洛克至上主义'的数学艺术。西班牙数学家路易斯·维加间接启发了王虹对限制性猜想的研究方向。尽管取得划时代成就，谦逊的王虹始终避免谈论菲尔兹奖的获奖可能性。
Breakthrough proof bringing mathematics closer to a grand unified theory10 months agohttps://www.nature.com/articles/d41586-025-02197-3朗兰兹纲领——数学的大统一理论取得重大突破，几何朗兰兹猜想获得证明由丹尼斯·盖茨戈里和萨姆·拉斯金领导的九人数学家团队，通过发表五篇总计近千页的论文完成此项证明该证明开辟了新的研究路径并连通数学不同领域，使盖茨戈里获得300万美元的数学突破奖朗兰兹纲领连接数论与调和分析，几何朗兰兹猜想则聚焦黎曼曲面和复流形几何朗兰兹猜想将基本群与层理论相联系，其洞见可能推动算术朗兰兹猜想的研究该证明对朗兰兹猜想的局部版本具有启示意义，并激发了与量子物理（特别是规范理论中的S对偶性）的关联爱德华·威滕和安东·卡普斯廷证明几何朗兰兹对称性在某些量子场论中自然涌现，实现了纯数学与物理学的连接
The (Unfinished) PDE Coffee Table Book10 months agohttps://people.maths.ox.ac.uk/trefethen/pdectb.html牛津大学的一个项目（2000-2001年）旨在编写一本关于偏微分方程（PDEs）的书籍，计划包含100个双页版面，并配有彩色插图。在项目搁置前，原计划的100页中已完成34页。已完成的部分涵盖了多种偏微分方程，包括拉普拉斯方程、热传导方程、波动方程等，每个方程均附有简要说明。该项目目前处于停滞状态，暂无完成计划，但已完成的内容可供教学使用。版权归Lloyd N. Trefethen所有（2011年），保留所有出版权利。
Gemini with Deep Think officially achieves gold-medal standard at the IMO10 months agohttps://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think...Gemini深度思考模型在2025年国际数学奥林匹克竞赛中以解答6题中5题的成绩获得金牌该模型全程采用自然语言端到端运作，在4.5小时竞赛时限内完成了严谨的数学证明通过并行思维、强化学习等先进推理技术显著提升了问题解决能力这标志着相较去年AlphaProof和AlphaGeometry的银牌表现取得重大突破谷歌计划在全面开放前先向可信测试者发布深度思考模型的试用版本该成就凸显了人工智能在高等数学推理与解题领域日益增长的发展潜力
Human teens beat AI at an international math competition10 months agohttps://www.popsci.com/technology/ai-math-competition/AI模型首次在国际数学奥林匹克竞赛（IMO）中斩获金牌级成绩谷歌与OpenAI的AI程序成功解答6道IMO试题中的5道，赢得金牌复杂数学仍是AI重大挑战——因其依赖符号预测而非逻辑推理IMO赛事中AI表现显著提升，模型能清晰阐述解题过程尽管取得进展，AI仍未达到人类选手的满分表现AI技术发展所需的巨大能源与资源消耗持续引发担忧
Tom Lehrer, song satirist and mathematician, dies at 9710 months agohttps://apnews.com/article/tom-lehrer-son-satirist-mathematician-dies-9caa7ee01f...著名歌曲讽刺作家兼数学家汤姆·莱勒去世，享年97岁。他以机智博学的讽刺歌曲闻名，作品调侃婚姻、政治、种族主义和冷战等主题。莱勒放弃音乐事业后重返哈佛等高校教授数学。2020年他宣布公众可自由使用其歌词作品，放弃版权费用。代表作包括嘲讽社会规范与体制的《公园毒鸽记》《老毒贩》和《梵蒂冈拉格曲》。莱勒深受吉尔伯特与沙利文、史蒂芬·桑德海姆等音乐巨匠影响。他厌恶公开演出，比起巡演更钟情教书育人。曾为1964年电视节目《那一周》和儿童教育节目《电力公司》创作歌曲。莱勒1928年生于纽约，跳两级后15岁考入哈佛大学。他在加州大学圣克鲁兹分校任教直至近80岁高龄。
Zigzag Number Spiral10 months agohttps://susam.net/zigzag-number-spiral.html文章讨论了一种锯齿形数字螺旋网格，其中数字以螺旋状排列，在边缘处会反转方向。目标是找到第m行第n列数字的闭式表达式，记为f(m, n)。螺旋在偶数行接触左边缘，在奇数列接触上边缘，形成特定模式。推导出边缘数字公式：当m为偶数时f(m, 1)=m²；m为奇数时f(m,1)=(m-1)²+1；f(1,n)同理。根据m与n的大小关系及其奇偶性，建立了分段函数形式的f(m,n)表达式。将分段公式简化为单一闭式表达式：f(m,n)=(max(m,n))²-max(m,n)+1+(-1)^max(m,n)*(m-n)。另一种方法聚焦对角线数字，最终得到相同的闭式表达式。对角线分析表明对所有正整数n都有f(n,n)=n²-n+1，从而简化了通用公式。
Math Is Quietly in Crisis over NSF Funding Cuts10 months agohttps://www.scientificamerican.com/article/can-u-s-math-research-survive-nsf-fun...数学研究依赖会议、研讨会和研究所促进合作与问题解决。特朗普政府的国家科学基金会大幅削减数学经费，影响了学术会议、奖学金和早期职业研究者。美国数学学会提供了100万美元的应急拨款以缓解资金损失，但这并非长久之计。经费削减正在侵蚀信任并制造不确定性，对研究项目和年轻数学家将产生长期影响。由于机会减少，年轻数学家正考虑离开学术界转向私营部门工作或前往更具支持性的国家。数学在创新、国家安全和其他科学领域至关重要，削减经费实属短视行为。
At 17, Hannah Cairo Solved a Major Math Mystery9 months agohttps://www.quantamagazine.org/at-17-hannah-cairo-solved-a-major-math-mystery-20...汉娜·开罗，17岁，来自巴哈马群岛的在家自学学生，解决了数学界悬而未决40年的沟畑-竹内猜想。开罗的证明推翻了该猜想，与数学家们的预期相反，改变了调和分析领域的研究格局。她主要依靠自学，使用在线资源和研究生水平的教材，后来参与了伯克利数学圈等高级数学项目。开罗的研究对调和分析具有重大意义，包括推翻了该领域中连接关键问题的斯坦猜想。尽管成就斐然，开罗因缺乏正规教育学历在申请研究生项目时遇到困难，但她即将在马里兰大学开始攻读博士学位。
Show HN: Mathpad – Physical keypad for typing 100+ math symbols anywhere9 months agohttps://www.crowdsupply.com/summa-cogni/mathpadMathpad是一款专为高效输入数学方程式设计的专用键盘提供100多个数学符号和希腊字母触手可及兼容Windows、macOS和Linux系统，支持LaTeX和Unicode等多种输出模式完全开源硬件与软件，基于QMK固件，配备热插拔Gateron KS-33轴体专为学生、教育工作者、科学家和工程师设计，简化文档、聊天及代码中的数学输入已具备量产条件：众筹后立即订购组件，经组装测试后通过Crowd Supply全球发货当前局限仅支持拉丁语系键盘布局，且需Windows应用程序实现完整功能已制定供应链延迟和组装损坏的风险应对方案由英国Summa Cogni公司研发，Crowd Supply负责全球销售与物流配送
Terrence Tao Loses Funding9 months agohttps://www.thebulwark.com/p/terence-tao-ucla-mathematician-mozart-of-math-trump...陶哲轩是一位以卓越智慧和数学贡献闻名的杰出数学家。他自幼展现出非凡数学天赋，7岁精通微积分，13岁获得国际数学奥林匹克竞赛金牌。陶的研究涵盖素数理论、随机数生成等关键领域，并为核磁共振成像技术做出改进。他于2006年获得菲尔兹奖，2017年登上《国家地理》「天才」特刊封面。陶哲轩因悉心指导年轻学者且慷慨分享学术荣誉，被誉为「数学界的莫扎特」。近期特朗普政府的科研经费削减危及了他的研究，引发对美国STEM教育未来的担忧。
Mathematician Finds Easier Way to Solve Quadratic Equations9 months agohttps://www.popularmechanics.com/science/math/a65676247/easier-way-to-solve-quad...卡内基梅隆大学的数学家罗博深博士开发了一种更简单的二次方程求解方法。这种新方法避开了传统的配方法等技巧，转而通过求根的平均值来简化理解过程。二次方程是含有x²项的多项式，教学中常用简单示例，但实际应用可能非常复杂。罗博士的方法将根表示为与平均值等距的值，从而简化求解过程。该方法减少了试错步骤，更直观易懂，有助于学生更好地掌握二次方程。理解二次方程是学习微积分预备课程等高等数学主题的基础。罗博士致力于弥合课堂示例与二次方程实际应用之间的鸿沟。
Show HN: Prime Number Grid Visualizer9 months agohttps://enda.sh/primegrid/Prime Grid是一个从左到右、从上到下以网格布局展示质数的工具。它可用于识别视觉模式、进行数学分析或探索潜在的隐藏代码。用户可以通过点击列输入框并按住上箭头键来调整网格，观察连锁反应效果。由Danny Duplex创建，他幽默地宣称自己正在解决世界上最不重要的问题。
Derivatives, Gradients, Jacobians and Hessians9 months agohttps://blog.demofox.org/2025/08/16/derivatives-gradients-jacobians-and-hessians...导数是微积分中的基本概念，表示函数在每个点的变化率。导数用于优化问题，例如寻找函数图像上的极小值或极大值。梯度下降是一种受导数启发的迭代优化方法，通过调整步长来寻找最小值。梯度将导数推广到高维函数，提供指示最陡上升或下降方向的向量。雅可比矩阵结合了多输出函数的梯度，描述空间在某点的扭曲程度。海森矩阵由二阶导数构成，在优化中用于理解函数的曲率特性。海森矩阵计算量较大但在优化中极具价值，拟牛顿法提供了替代方案。
The Dogs in Pursuit Problem9 months agohttps://www.theguardian.com/science/2019/jun/03/can-you-solve-it-dogs-in-pursuit四只狗从一个边长为1的正方形的四个角出发，每只狗都朝逆时针方向相邻的那只狗跑去。所有狗以相同的速度奔跑，螺旋式地向中心移动，直到它们相撞。问题问的是每只狗在相撞前跑了多远。附加题：将问题扩展到等边三角形和正五边形。这个谜题受到追逐问题的启发，这类问题通常涉及微积分。数学家史蒂芬·斯特罗加茨强调了微积分中的“无限原理”——将复杂运动分解为更简单的部分。追逐问题在视觉上引人入胜，并在微积分历史上具有重要意义。狗的螺旋路径类似于数学艺术或视错觉。文章推广了斯特罗加茨的《无限的力量》一书和作者的《足球学校》系列。
Gap – A System for Computational Discrete Algebra9 months agohttps://www.gap-system.org/GAP是一个专注于计算群论的计算离散代数系统。它包含一种编程语言、代数算法库以及大量代数对象的数据库。GAP采用自由分发模式，允许用户根据特定需求研究、修改或扩展其功能。当前版本为2024年12月5日发布的GAP 4.14.0，可通过安装页面获取。欢迎通过GitHub为GAP贡献代码，项目提供编码和包开发的详细指南。自1986年以来，GAP通过国际合作和用户贡献持续发展。2008年7月，GAP荣获ACM/SIGSAM颁发的Richard Dimick Jenks纪念奖。
'Will you leave US for China?' It depends, mathematician Terence Tao says9 months agohttps://www.scmp.com/news/china/science/article/3323325/will-you-leave-us-china-...数学家陶哲轩讨论因特朗普政府削减经费可能离开美国前往中国陶哲轩称当前局势'非常动荡且不稳定'，是过去30年来所未见他表示未来决策取决于现政府是否改变现行政策这位被誉为'数学界莫扎特'的天才正站在地缘政治与学术自由的十字路口陶哲轩生于澳大利亚华人家庭，大半生在美国度过，24岁获加州大学洛杉矶分校终身教职，31岁斩获菲尔兹奖
The Most Important Machine Learning Equations: A Comprehensive Guide9 months agohttps://chizkidd.github.io//2025/05/30/machine-learning-key-math-eqns/机器学习（ML）是一个由数学驱动的领域，其核心方程对于构建模型和优化算法至关重要。概率论与信息论为处理不确定性及衡量概率分布间差异提供了理论基础。贝叶斯定理是概率推理的基石，广泛应用于分类和推断等任务。熵用于度量概率分布中的不确定性，是决策树和信息增益计算的基础概念。联合概率与条件概率是贝叶斯方法和概率模型的基本组成部分。KL散度（KLD）衡量一个概率分布与另一个分布的差异，常用于变分自编码器（VAE）。交叉熵量化真实分布与预测分布之间的差异，是分类任务中广泛使用的损失函数。线性代数支撑着机器学习模型中的变换与结构，线性变换是神经网络的核心操作。特征值与特征向量描述矩阵对空间的缩放和旋转作用，对理解PCA中的数据方差至关重要。奇异值分解（SVD）将矩阵分解为正交矩阵和对角矩阵，揭示数据的内在结构。梯度下降通过沿损失函数梯度的反方向更新参数（步长由学习率控制）来优化模型。反向传播运用链式法则计算神经网络中权重相对于损失的梯度。均方误差（MSE）计算真实值与预测值之间平方差的平均值，是回归任务的常用指标。扩散过程描述数据随时间逐步添加噪声的正向过程，是生成式AI的关键技术。卷积通过滑动函数提取数据（如图像）特征，构成卷积神经网络（CNN）的核心操作。Softmax将原始分数转化为概率分布，适用于神经网络输出的多分类任务。注意力机制基于查询与键的相似度计算值的加权和，是自然语言处理中Transformer的核心组件。