用图论降维打击魔方：拓扑轨迹背后的数学狂暴之美
文章介绍了一段爆火的动态数学动画，用图论视角重新解读三阶魔方。魔方拥有 4.3×10^19 种状态，但数学家将其视为对称置换群和凯莱图：每个状态是节点，每次旋转是有向边，解题本质是寻找通往复原状态的最短路径。通过'上帝之数是 20'的计算结论与基于群论的 Kociemba 算法，展示了抽象代数如何把复杂问题压缩到子群分层解决。作者借此升华：生活和商业中的绝境，若站在更高维度的图论视角看，混乱背后往往存在一条不超过 20 步的最短路径。
相关文档
从 AlphaGo 的角度看魔方游戏：人类看秩序，机器看距离
文章以围棋和魔方为例，探讨人类智能与机器智能的本质差异。人类因算力有限，发明层先法、定式等启发式结构来压缩复杂度，依赖局部秩序感；而 AlphaGo 等机器则直接在状态空间中寻找最短路径。三阶魔方虽有约4.3×10^19种状态，但上帝之数证明任意状态距复原最多20步，如 Superflip 看似对称易解实则最远。人类看到的是局部颜色与秩序，机器看到的是全局坐标与距离，人类的“智慧”或许只是适应自身算力限制的辅助结构。
Open-Science 实战：从个人 Bot 到科研 Agent
作者使用 AIPOCH Open-Science 科研工作台，基于 HHMI Janelia 与 Google Research 开放的果蝇中枢神经系统连接组数据（16.7 万神经元、0.12B 突触），尝试训练生物大脑模型解三阶魔方。文章详述了搭建实验环境、定义信号传递规则、设计输入输出（324 个颜色开关与 93 个前腿运动神经元）、多卡并行训练的全过程。单步动作准确率从 6.39% 提升至 64.86%，结合 Beam Search 后未见状态还原率大幅提高。作者展示了从找论文、追数据、训练到评测的完整科研流程均在 Open-Science 中完成，倡导 Vibe Research 时代的到来。
数学是终结了，还是仅仅毕业了？
前xAI联合创始人克里斯蒂安·塞格迪以个人经历切入，回忆自己作为匈牙利数学竞赛少年的成长与竞赛结束后的空虚。他将纯粹数学研究比作在未知丛林中的探险：绘制地图、寻找矿藏、打造工具。而人工智能如今正处于莱特兄弟时代的飞机阶段——尚显原始但进步神速，已开始在数学岩石上插旗（解决猜想）。作者认为，AI终将彻底改变数学研究的方式，数学不会终结，而是像他当年的竞赛生涯一样'毕业'，从学术界安静的角落蜕变为驱动一切科技进步的成熟产业。孤胆英雄时代落幕，大规模探索时代开启。
LLMs do not guess. They optimize. Here is the difference and the math behind it
文章阐述LLM的输出并非猜测，而是优化的结果。作者从基础数学概念讲起，介绍了优化问题的本质：找到使函数最大化或最小化的输入。文章系统梳理了几个关键优化方法：牛顿法（通过切线逼近快速求零点和极值，是现代训练算法的祖先）、黄金分割搜索（无需导数、利用黄金比例实现指数级收敛，用于超参数调优）、单纯形法（1947年Dantzig发明，通过沿多面体顶点移动求解线性规划问题）。文章解释了梯度下降作为简化版牛顿法如何训练拥有数万亿参数的语言模型，并对比了单纯形法与内点法在理论与实践性能上的差异。
24天，100多道数学难题：OpenAI把题做完了，数学家更忙了
OpenAI宣布其内部模型在24天内解决了100多道长期开放的数学难题，包括纳维–斯托克斯方程相关成果。文章梳理了事件时间线：训练从8月28日开始，证明工作由约一万个并发Agent并行完成，耗时88小时，另用17小时完成Lean形式化验证。同时，陶哲轩、舒尔茨等数学家发表公开信，担忧AI过快产出证明会打乱学术规范、方法传承与人才培养。OpenAI还成立了独立的数学与AI顾问组，但无权干涉研究节奏。作者认为，解题速度加快后，证明的解读、教学与学术消化仍需数学界接续完成。
我为什么要设立孙宇晨奖
孙宇晨宣布设立以自己名字命名的数学奖。他以诺贝尔的生平类比，说明自己财富源自数学（区块链建立在椭圆曲线等密码学之上），设奖是还债。奖项规则：奖跟题走，不跟人走，人与AI均可获奖，以机器形式化验证为唯一发钱标准，题单由他定价且锁死不可更改。他引用Dario Amodei的'数据中心天才之国'理念，强调奖励'悬空但严丝合缝'的纯粹推理。奖池已打入区块链，公开可查验，其公益重心将转向此奖。
Let a billion mathematicians bloom
文章回应25位菲尔兹奖得主关于AI将损害数学的宣言。作者以AlphaGo‘第37手’为例：AI出现后职业围棋水平不降反升，因为开源引擎让每位棋手拥有超人类导师。作者认为菲尔兹奖得主担心的核心问题真实存在——AI正在把解题的成果与过程分离，但他们忽略了更深层的变化：验证成本的历史性反转。过去猜测便宜而验证昂贵，如今借助Lean等证明助手和形式化证书，验证变得廉价可复制。数学的制度体系（同行评审、长学徒制）都是围绕验证稀缺建立的。AI不会摧毁数学，反而会让数百万人得以参与，让‘十亿数学家’绽放。
从100美元开始理解Black-Scholes：期权定价背后的统计学原理
一位数学专业出身的科技分析师以通俗易懂的方式讲解期权交易背后的数学原理。文章从100美元投资示例引入对数收益率概念，解释为何对数收益率比平均收益率更能反映真实收益；随后基于股价随机波动、收益率服从对数正态分布、平均收益等于无风险利率三个假设，推导股价概率预测方法，讲解如何用累积正态分布函数计算股价超过某阈值的概率，并介绍波动率（对数收益率标准差）随时间按√N缩放的原理，为理解Black-Scholes期权定价公式和希腊字母打下基础。
Epoch AI 2030年预测：AI 将最先替代可验证的脑力工作
Epoch AI 发布119页报告《What will AI look like in 2030?》，预测到2030年AI将最先大幅推进软件工程、数学、文献调研、数据分析等可验证的脑力工作，而非全自动实验室。报告指出，AI落地速度取决于任务是否数字化、结果可验证、失败可回滚等因素，并强调软件工程、数学和桌面研究将率先被AI改造。
OpenAI公布数学与理论计算机科学十项进展：AI开始触碰长期开放问题
文章介绍了OpenAI于8月1日公布的数学与理论计算机科学领域十项新进展，涵盖高维球堆积、编码理论、Connes刚性猜想、算术电路复杂度、多色Ramsey数等长期开放问题，既有新上下界也有反例。这些结果由内部版Astra模型生成，总成本仅约2000美元，随后由人类研究者配合整理成论文，并用Lean形式化证明系统验证。作者认为AI在科研中的角色正从读论文、辅助推导走向搜索开放问题、提出新证明、形式化验证与人类审查的闭环。
两个人和他们没有见过的世界
本文讲述了两位身有残疾却成就非凡的人物：18世纪盲人数学家尼古拉斯·桑德森，他虽失明却精通光学并在剑桥教授数学；以及19世纪聋盲人海伦·凯勒，她通过触觉学会语言并成为社会活动家。文章强调，感官的缺失并不等于理解的缺失，关键在于通过触摸和反馈的循环来构建对世界的理解，而非仅仅依赖视觉或听觉。这一观点挑战了传统认知，引发对心智与理解本质的思考。
