Maypole Dance of Braid Like Groupsa year agohttps://divisbyzero.com/2009/05/04/the-maypole-braid-group/参加了以传统五月柱舞为特色的五一节派对。五月柱舞中舞者手持彩带围绕柱子旋转，形成装饰性图案。五月柱舞被进行数学分析，与纽结理论和辫群理论相类比。辫群理论涉及相互缠绕的弦线，具有特定的运动和相互作用规则。五月柱舞引入了辫群理论的变体，称为五月柱辫群（M_n）。M_n包含额外的生成元和关系，以适应五月柱的环形特性。新的关系涉及环形排列中弦线的旋转运动和相互作用。该分析凸显了文化传统与数学概念的交汇点。
When do girls fall behind in maths? Gigantic study pinpoints the momenta year agohttps://www.nature.com/articles/d41586-025-01831-4法国一项大型研究显示，'数学性别差距'在入学第一年就已显现。男孩和女孩起始数学成绩相当，但四个月内男生开始领先，十二个月后差距更为显著。研究表明，造成差距的原因是学校环境因素，而非先天差异。解决建议包括降低数学焦虑、鼓励平等参与课堂活动、培养课外探索精神。该研究分析了近300万儿童数据，涵盖不同届别、社会经济群体和地区，证实差距具有普遍性。通过比较仅相差数天出生但分属不同学年的儿童，发现差距产生与正式教育起始时间相关，与年龄无关。研究者强调需要制定全面政策干预，因为这一差距在所有群体中普遍存在。
The Hat, the Spectre and SAT Solvers (2024)a year agohttps://www.nhatcher.com/post/on-hats-and-sats/关于使用单一非周期瓷砖（帽子形）和SAT求解器的非周期平铺入门介绍SAT求解器及其在布尔代数问题中应用的原理说明在WASM环境中使用SAT求解器解决数独等实际问题的实践指南SAT求解器在瓷砖问题中的应用——以帽子形和龟形瓷砖为例真正的手性非周期单瓷砖Spectre的数学意义及其引入使用Hats应用程序探索平铺模式与解决平铺问题的实用教程关于非周期平铺与SAT求解器的原始文献及延伸阅读资料索引
Think of a Numbera year agohttps://xenaproject.wordpress.com/2025/01/20/think-of-a-number/Sam Altman关于AGI即将到来的说法被批评为不负责任的炒作。当前AI能处理本科数学题，但在博士水平任务上失败，表明尚无真正的AGI。作者提议建立一个秘密的数论难题数据库来测试AI的数学理解能力。问题需满足：答案为非负整数、难度超越本科水平、无法轻易猜测或在线搜索到。该实验旨在区分AI的模式匹配能力与真正的数学思维。作者寻求博士级数论学者合作贡献高难度问题。将邀请AI公司用其模型测试该数据库，结果会公开。与FrontierMath不同，本项目确保问题未被AI模型预先接触。示例问题类似FrontierMath，但难度更高且分布更均匀。最终目标是评估AI能否真正进行数学思考，而非随机鹦鹉学舌。
Elliptic Curves as Arta year agohttps://elliptic-curves.art/项目专注于椭圆曲线的可视化。网站目前正在建设中。项目由Nadir Hajouji和Steve Trettel共同完成。
Mathematicians discover a new way to find prime numbersa year agohttps://www.scientificamerican.com/article/mathematicians-hunting-prime-numbers-...质数是大于1且只能被1和自身整除的整数。数学家们难以识别质数的分布规律，尤其是大数的情况。一种利用整数分割的新方法已被开发用于检测质数。该方法涉及求解与分割函数相关的丢番图方程。这一发现提供了无限多种定义质数的新方式。该研究可能激发对组合函数和数论的进一步探索。诸如孪生素数猜想和哥德巴赫猜想等开放性问题仍未解决。这些发现凸显了数学中丰富的内在联系，并激发了新的思考方向。
Is Mathematics Mostly Chaos or Mostly Order?a year agohttps://www.quantamagazine.org/is-mathematics-mostly-chaos-or-mostly-order-20250...数学家们齐聚芬兰，探讨关于无限的新概念，研究数学本质是更趋混沌还是有序。19世纪70年代乔治·康托尔的研究证明无限存在不同层级，由此催生了基数理论。集合论学者已发现大基数的等级结构，但阿吉莱拉、巴加里亚和吕克提出的新基数对此秩序发起挑战。这些新基数与较小基数结合时会引发'爆炸效应'，暗示数学体系可能比既往认知更为混乱。库尔特·哥德尔的不完备性定理表明，任何数学系统都无法完全自洽，需要持续补充新公理。休·伍丁的'终极L'计划试图构建近似数学宇宙的模型，其前提是假设大基数存在结构化层级。精确基数与超精确基数的出现，可能意味着数学宇宙比想象中更混沌且难以定义。现有证据显示这些新基数与ZFC公理系统相容，但它们对HOD猜想的影响仍存争议。部分数学家对潜在的混沌表示欢迎，视其为集合论领域进一步探索与发现的新契机。
A new pyramid-like shape always lands the same side upa year agohttps://www.quantamagazine.org/a-new-pyramid-like-shape-always-lands-the-same-si...柏拉图将宇宙构想为五种几何形状，其中四面体至今仍蕴藏着未解之谜。约翰·康威和理查德·盖伊曾研究均匀单稳态四面体是否存在，最终得出结论：在重量均匀分布的情况下不可能实现。加博尔·多莫科斯团队证明重量分布不均的四面体可具备单稳态特性，并据此制作出物理模型。该物理模型需要极高精度，采用轻质碳纤维和高密度碳化钨材料组合才实现单稳态特性。这项研究对设计自动扶正航天器具有潜在应用价值，同时彰显了实验在数学研究中的重要性。
Google DeepMind team up to solve the Navier-Stokes million-dollar problema year agohttps://english.elpais.com/science-tech/2025-06-24/spanish-mathematician-javier-...西班牙数学家哈维尔·戈麦斯·塞拉诺与谷歌DeepMind合作攻克千禧年大奖难题——纳维-斯托克斯方程，该问题悬赏100万美元奖金。19世纪提出的纳维-斯托克斯方程描述了流体运动规律，但关于其正则性或突变可能性的数学证明至今未解。由地球物理学家和数学家组成的20人研究团队已秘密工作三年，借助人工智能优化解集并预测流体行为。戈麦斯·塞拉诺团队运用机器学习神经网络分析流体动力学奇点，研究进展表明五年内可能取得突破性解决方案。竞争团队包括加州托马斯·侯课题组与马德里迭戈·科尔多瓦团队，各自采用不同策略攻坚这一难题。戈麦斯·塞拉诺还参与开发了AlphaEvolve人工智能系统，能以95%成功率解决复杂数学问题，或将引发数学研究革命。谷歌DeepMind创始人德米斯·哈萨比斯预测2030年可能出现通用人工智能（AGI），不过戈麦斯·塞拉诺对AI未来影响持审慎乐观态度。
BusyBeaver(6) Is Quite Largea year agohttps://scottaaronson.blog/?p=8972作者反思了在当今世界形势下越来越难以专注于研究的困境，但在忙碌海狸(Busy Beaver)研究等领域取得的突破中找到了慰藉。2022年研究发现BB(6) > 10^36,534，随后改进为BB(6) > 15^10，展现了忙碌海狸函数的快速增长特性。忙碌海狸函数BB(n)表示具有n个状态的图灵机在全部为0的输入带上运行后停止前所能执行的最大步骤数。最新研究显示BB(6) > 10,000,000^10，随后又证明BB(6) > 2↑↑(2↑↑(2↑↑9))（其中↑↑表示迭代幂次），彰显了该函数的惊人规模。作者推测BB(n)可能在n=7、8或9时就独立于ZFC公理系统，这比先前认为的n=745要早得多（当前已知n=745时成立）。作者参加了在布拉格举行的STOC’2025会议，并作了题为《量子加速研究现状》的大会报告，相关幻灯片已在线发布。
The Unreasonable Effectiveness of Mathematical Experimentsa year agohttps://arxiv.org/abs/2506.19787提出将数学重新定义为一种以计算模式为核心的实验性科学以沃耶沃茨基的信任危机为例,阐释数学中的不确定性现象主张数学真理的本质在于预测计算结果,而非追求永恒真理指出数学中的矛盾应被视为失败的理论范式,而非逻辑悖论通过该理论框架解释数学在物理学中'不可思议的有效性'认为数学理解的标志是使用上的一致性,而非从公理出发的演绎
Does Form Shape Function?a year agohttps://www.quantamagazine.org/does-form-really-shape-function-20250612/L.马哈德万运用数学和物理学探索生物系统中形态与功能的相互作用关系马哈德万的研究涵盖弹性莫比乌斯带的平衡形态及大脑皮层褶皱模式大脑沟回的形成源于灰质与白质差异生长速率，其机制类似膨胀凝胶的形态变化白蚁丘具有类肺功能，通过昼夜温差驱动的被动通风系统实现气流调节白蚁等社会性昆虫无需中央规划即可构建复杂结构，展现了群体智能的典型特征马哈德万研究生物如何习得几何与概率认知，提出人类几何感知具有统计学本质其研究横跨生物形态发生学至机器人学，强调具身认知与环境交互的核心作用
How Does Graph Theory Shape Our World?a year agohttps://www.quantamagazine.org/how-does-graph-theory-shape-our-world-20250626/图论由18世纪的莱昂哈德·欧拉创立，研究对象（节点）及其连接关系（边）之间的关联性。普林斯顿大学数学家玛丽亚·丘德诺夫斯基解决了困扰学界数十年的'完美图'难题，并将图论应用于婚礼座位安排等现实场景。图论在社交网络、交通系统和地图着色等领域具有广泛应用，四色定理就是典型例证。完美图是指色数等于最大团规模的图，这类图能简化着色问题的求解过程。丘德诺夫斯基证明强完美图定理时，采用将复杂图分解为可处理部分的方法，充分发挥了视觉化与抽象推理的结合优势。数学是超越文化和语言障碍的通用语言，能培养清晰而有逻辑的思维方式。图论具有视觉化和离散性的特质，特别适合擅长关系与结构思维的研究者，使其成为理论与应用领域皆具威力的工具。
The world of Voronoi diagrams (2021)10 months agohttps://fbellelli.com/posts/2021-07-08-the-fascinating-world-of-voronoi-diagrams...沃罗诺伊图（Voronoi diagram），又称狄利克雷镶嵌（Dirichlet tessellation）或泰森多边形（Thiessen polygons），是制图学、生物学、建筑学等多领域常见的自然空间分割模式。该图将平面划分为围绕种子点的单元区域，每个单元包含离该种子点最近的所有空间点。这种高效的空间分配方式在自然界中广泛存在，如洋葱表皮、菠萝蜜外壳和长颈鹿斑纹等结构，均呈现均匀生长的沃罗诺伊特征。人工建筑中也应用该原理，如北京奥运场馆'水立方'的膜结构设计，以及宋代瓷器开片釉的裂纹形态。在平面艺术领域，沃罗诺伊图案常用于创作抽象纹理与背景效果。该模型可推广至n维空间，并支持欧氏距离、曼哈顿距离等多种度量标准。其数学本质与k近邻算法、德劳内三角剖分密切相关，后者在三维建模中具有重要价值。劳埃德算法（Lloyd's algorithm）通过迭代优化种子点位置实现单元均匀化，这也是k均值聚类的理论基础。扫描线算法和基于德劳内三角剖分的构建方法，是当前最高效的沃罗诺伊图生成技术。应用场景涵盖森林建模、机器人路径规划、游戏程序化地图生成等跨学科领域。
Hannah Cairo has solved the Mizohata-Takeuchi conjecture10 months agohttps://english.elpais.com/science-tech/2025-07-01/a-17-year-old-teen-refutes-a-...17岁的汉娜·开罗（Hannah Cairo）推翻了一个在调和分析领域悬而未决40年的难题——沟畑-竹内猜想。她通过分形结构和精妙布局构建出反例，挑战了这个被广泛认可的猜想。从巴哈马移民美国后，开罗在高中阶段就参加了加州大学伯克利分校的高等数学课程。该猜想属于调和分析领域，这个数学分支致力于将复杂函数分解为正弦波等基础成分。开罗的成果在著名的埃尔埃斯科里亚尔数学会议上发表，这是她首次参加国际学术交流。她热爱教学与公开演讲，致力于帮助他人并传播对数学的热爱。开罗即将在马里兰大学攻读博士学位，师从张瑞祥教授。疫情期间通过自学和参与在线数学项目，她开启了高等数学的探索之旅。
Million Times Million10 months agohttps://susam.net/million-times-million.html作者从小使用长级差制来命名大数字，在这种体系中，一百万乘以一百万等于十亿。长级差制通过前缀（如bi-, tri-等）直观地表示一百万的自乘次数。进入大学和科技领域后，作者发现短级差制中一百万乘以一百万等于万亿，这最初造成了困惑。短级差制以千为基数进行叠加，前缀代表千的乘方次数。如今短级差制已成为科技、计算机、金融及多数英语语境中的主流规范。尽管适应了短级差制，作者仍怀念长级差制那种优雅简洁的美感。
Product of Additive Inverses10 months agohttps://susam.net/product-of-additive-inverses.html负负得正是数学中的基本法则，不仅适用于数字，也适用于环等代数结构。文章通过分配律的示例阐释了为何两个负数相乘结果必为正。环是由七条公理定义的代数结构，包括加法结合律、加法交换律及乘法对加法的分配律等。加法和乘法的封闭性天然蕴含于环的二元运算定义中。环中的定理揭示了关键性质：逆元的逆元是元素本身、零元乘法产生零元、与加法逆元相乘遵循特定规律。任意环中加法逆元相乘的结果等于原元素之积，由此形式化地证明了负负得正法则。这些定理将熟悉的算术规则推广至各类代数系统，彰显了抽象代数的强大普适性。
New Sphere-Packing Record Stems from an Unexpected Source10 months agohttps://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpecte...球体堆积问题研究如何在盒子中最高效地排列球体，在密码学和通信领域具有重要应用开普勒在17世纪就提出了三维空间最优球体堆积猜想，但证明过程耗时400年除8维和24维外，数学家至今仍未找到更高维空间的最优堆积方式博阿兹·克拉塔格运用数十年前被弃用的传统方法，创造了球体堆积新纪录克拉塔格采用凸几何学改进基于椭球体的堆积方法，在高维空间实现显著效率提升这项研究重新引发了关于最优堆积应遵循有序（晶格结构）还是无序排列的学术争论克拉塔格的成果暗示对称性和有序性可能是高维空间最优堆积的关键该突破对密码学和通信技术具有潜在影响，引发学界广泛关注克拉塔格致力于重建凸几何学与晶格理论之间的联系，这两个领域多年来渐行渐远
Infinity is not a big number10 months agohttps://mnvr.in/infinity文本讨论了诸如克努特箭头数、阿克曼数、葛立恒数和TREE(3)等超出人类理解范畴的极大数字。借用佛教比喻形容这些数字的浩瀚程度——就像海龟从漂浮的救生圈里探出头般不可思议。提及所有自然数之和（1+2+3+...）等于-1/12，这是欧拉和拉马努金等数学家推导的结果，并被应用于量子物理学。作者对无限本质的思考：意识到它并非只是遥不可及的大数，而是超越现有认知的概念，令人心生敬畏。乐观认为人类终将理解无限性，暗示这并非固有不可知，只是暂时超出我们的认知范围。
Inverse Triangle Inequality10 months agohttps://matklad.github.io/2025/07/07/inverse-triangle-inequality.html逆三角不等式是数学中的基本概念，强调直达路径比绕行更高效。该不等式具有广泛适用性，可应用于曼哈顿距离、DNA字符串间的莱文斯坦距离等多种场景。在软件工程中，这一原则被引申为提倡小而频繁的增量变更，而非庞大复杂的改动。建议采用小型提交和拉取请求，以加速代码审查流程并使讨论聚焦于实质性修改。重构可分解为更简单的步骤，例如先处理参数传递再修改逻辑，从而有效控制复杂度。小而频繁的发布能降低压力与风险，更易于处理问题与版本升级。'精益求精'原则建议投入时间深入探索解决方案，避免局部最优并保障长期代码质量。将探索性工作与渐进式优化相结合，通过即时重写和多角度审视可获得更优结果。