Mathematical texts from a Maya site in Guatemala identify an ancient astronomer3 months agohttps://www.nature.com/articles/d41586-026-02170-8在玛雅遗址Xultun发现的一道数学公式首次揭示了重要玛雅数学家-天文学家Sak Tahn Waax的名字。这段位于第19号文本象形文字中的公式以有趣的方式计算了多个历法周期（包括金星周期、太阳年和火星年）之间的关系。研究人员推测该密室是公元八世纪中叶抄写员的工作空间，彰显了玛雅社会的求知精神以及对数学家的认可。
Codex scraped the ICM website and discovered 2026 Fields Medal winner list3 months agohttps://phemex.com/news/article/2026-fields-medal-winners-list-leaked-includes-t...国际数学家大会（ICM）2026日程前端代码的泄露揭示了2026年菲尔兹奖得主：邓煜、约翰·帕顿、雅各布·齐默曼和王虹。北京大学校友王虹与邓煜位列获奖者，标志着首次有两位中国数学家在同一届颁奖中获奖。若于2026年7月23日正式确认，王虹将成为历史上第三位获得菲尔兹奖的女数学家。此次泄露是通过官方日程代码中的'隐藏'获奖者讲座字段及Codex的curl命令发现的。
The mathematical secrets of Barcelona's Sagrada Familia3 months agohttps://mappingignorance.org/2026/06/30/sagrada-familia/圣家堂的设计遵循以数字12和7.5米模数为基础的比例体系。数学家克劳迪·阿尔西纳发现，12的除数之间的比例（如1:4、1:3、1:2）解释了这座教堂的大部分比例关系。教堂的关键尺寸，包括长度（90米）、宽度（60米）和各种高度，都是7.5米的倍数。塔楼采用多面体形状，如十二面体、截角八面体和立方体，并饰有象征性元素如十二芒星。结构元素包括悬链线拱和双螺旋扭柱，经过优化以承载荷载并投射光线。隐藏的象征性特征包括代表圣灵七恩的七边形华盖和一个总和为33的幻方。
Canonization and the Overhang3 months agohttps://laughingmeme.org/2026/06/30/canonization-and-the-overhang.html大卫·贝西斯认为，数学过于重视定理证明，而低估了创造力、清晰度和教学的重要性，这些因素对于进步至关重要。LLM驱动的定理证明器可以在不依赖人类协作和直觉有益副作用的情况下证明定理。在软件领域，通过测试的代码与为团队可用性和迭代而进行社会建构的代码之间存在着类似性。规范化是将一次性解决方案转化为可重用、连贯且兼容的系统或库的过程，这一过程耗时但具有长期价值。软件通过规范化的代码受益于稳定的抽象和可靠的系统，这与可丢弃、单次使用的软件形成对比，后者在传统标准下可能显得'糟糕'。'知识悬置'指的是来自过去创造力的未实现潜力，连接现有想法可以产生新的解决方案，这一概念既适用于数学也适用于软件。LLM适合通过记忆和跨大规模文本库的模式匹配来搜索'知识悬置'，而人类则依赖于直觉飞跃。开源软件代表了可基于其进行未来开发的规范化工作的'知识悬置'。仅重视定理证明或编码而不进行规范化和知识传播，可能会耗尽'知识悬置'并低估清理和教学等关键的'衔接工作'。
Pi square is nearly 103 months agohttps://mihai.page/pi-square-is-10/圆周率τ日于6月28日庆祝，其中τ = 2π，旨在推广如τr和τr²/2等公式，但π仍占据主导地位。π²约等于10，通过巴塞尔问题可以证明：Σ 1/n² = π²/6，这导致ζ(2) ≤ 5/3且π² ≤ 10。π²与10之间的误差约为0.125，适用于快速估算，如计算圆的周长或对数。π² ≈ g（地球重力加速度）这一近似值被提及为另一个巧合，将在后续进一步探讨。
All Logic, No Bite3 months agohttps://lcamtuf.substack.com/p/all-logic-no-bite形式逻辑是一种从前提推导结论的体系，常在数学和某些计算机科学领域之外较为陌生。数学家运用形式逻辑来消除证明中的歧义，特别是在处理‘若A则B’这类条件陈述时。在形式逻辑中，‘若A则B’蕴含其逆否命题‘若非B则非A’，但不蕴含其逆命题或否命题。逻辑可用于构建数学体系，如实数，仅依赖公理而不借助物理直觉。计算中的布尔代数以二进制值运算，使用如非、与、或等运算符，并可关联到集合论。命题逻辑处理具有二元真值的陈述，使用如蕴含和等价等连接词。一阶逻辑通过谓词、量词和函数扩展了命题逻辑，以对对象进行泛化。存在非标准逻辑系统，例如那些排斥排中律的，但较少使用。