出声
午后读木心，读着读着出了声。妻笑我像有阅读障碍。我想了很久：同一个出声，可以是能力的顶，也可以是能力的拐，从外面看一模一样。
Ma's Tech Blog
专业化是留给昆虫的：当机器成了完美的蚂蚁，人还剩下什么
过去两百多年，我们努力把人变成一种更高效的昆虫，还叫它进步。如今 AI 蚁群到来，它比任何人都更擅长做一只蚂蚁。当机器接管了所有的"怎么做"，一个人，还剩下什么。
你信不信？用数学，可以找到谁是最爱你的人
眼前这个人，是不是对的那一个。再等等，会不会有更好的。此刻松手，是不是一生错过。你把它叫缘分，其实是不敢算。可这道题，早有人算过了，算得清清楚楚。
被 Transformer、CNN 这些词唬住过吗？一堂 MIT 的课，把它们讲成了同一件事
Transformer、CNN、GNN、LSTM，每个名词背后都是一篇难懂的论文，好像 AI 是一堆互不相干的黑魔法。可 MIT 这门《How to AI Almost Anything》的第三讲，用一个统一的框架把它们全讲成了同一件事。听懂了，你会发现它们其实没那么玄。
10 岁那年他发誓要证明它，32 年后，他终结了困住人类 358 年的难题
费马在一本书的页边写下一句话就走了，害得整个数学界找了 358 年。而真正终结这道题的人，早在 10 岁那年就发过誓。这是「算得出 ≠ 证得了」系列的第 4 篇。
送过外卖、当过三明治店会计，一个漂泊半生的数学博士，58 岁震动了整个数学界
孪生素数猜想困扰了数学界一百多年，谁也证不出来。一个北大毕业却漂泊半生、送过外卖、当过三明治店会计的数学博士张益唐，58 岁那年用一篇论文，第一次把这扇门推开了一条缝。
菲尔兹奖名单疑似泄露：一根针难倒数学界 108 年，破解它的中国姑娘要“封神”了
ICM 2026 官网前端疑似泄露了菲尔兹奖名单，王虹、邓煜在列，官方要到 7 月 23 日才公布。一根针难倒数学界 108 年，破解它的桂林姑娘王虹是谁，为什么这一次对中国数学格外重要。
数学 × AI 周报 · 第 04 期：陶哲轩把旧代码交给 AI，把证明留给自己
第 04 期：陶哲轩让 AI 编程智能体把自己 1999 年写的 Java 小程序搬到网页，顺手挑出两个他没发现的 bug，并亲口划出"视觉辅助"与"数学论证核心"的边界；第三届 AI for Math 工作坊在首尔 ICML 举行，投稿量较去年翻倍；IMO 2026 上海本周开幕，7 月 15—16 日笔试，AI 阵营的表态成为悬念。
质数看起来毫无规律，直到有人发现了黎曼函数
质数看起来杂乱无章，却守护着你每天的网上支付。有人在这片混乱里，用一个叫黎曼 ζ 的函数，听出了藏得极深的秩序，也留下了一道悬了一百多年、悬赏一百万美元的难题。
Engine Showcase：把引擎的 feature list 做成游戏，再给每个 feature 一个跑分按钮
在线试玩（浏览器直接打开）：https://maweis.com/rust_bevy_lua_game/ → 菜单选 Engine Showcase。 本文对应的全部代码、issue、开发过程记录都在 rust_bevy_lua_game 仓库里（PR #56，主工单 #52）。 游戏引擎的宣传页都长一个样：一排 feature 图标，一段”强大而灵活”的形容词。今天我们换了个做法——把...