像物理学家一样剪枝 LLM：把块删除当成 Ising 优化问题
整块删掉 transformer block 最省事，挑哪些块却是多体问题。Multiverse Computing 把它写成二元优化，用 Ising 的低能态对应高分模型，Llama-3.3-70B 砍半深度仍保住 MMLU 76.9。
数学
更多 数学
首页
MilleMiglia：面向中程物流的真实实例生成器
MilleMiglia 用 C++ 开源实例生成器填补中间英里物流的基准空白，让跨配送中心的接力运输优化不再受制于专有数据。
我们还需要人类数学家吗？
Po-Shen Loh 回应「数学家该让出控制权」的反对意见：他提出一条基本公理（我们应当帮助人类繁荣），并推出一条推理链——AI 越先进，需要人类盯的控制点就越多，多到人手不够，而这些岗位会反过来迫使 AI 放慢。
当卫星定位失效时：用 Levenberg-Marquardt 对抗蓝牙 RSSI 混乱
卫星定位进楼就失效，作者用 BLE 信标加 Levenberg-Marquardt 三边定位在 iOS 上把误差压到半米内。
为什么我没有签署菲尔兹奖得主们的那封公开信
Gowers 赞同「我们正面临危机」，但不同意「概念理解高于解题」是唯一正确态度：他把数学家的动机看成一条谱系，并逐条比较「模型全面超越人类」与「国际协议限制发布」两种未来的得失。
如果数学不仅仅是证明，我们需要更好地赞美它的其他部分
Grant Sanderson 提议数学界应正式认可有动机的解释，而非只奖励新证明，以回应 AI 生成证明带来的冲击。
Cloudflare 只改了一个结构体和一个参数，回收了 100TB 内存
Pingora 的一致性哈希把内存吃到 6GB：功能组合让哈希环变成几十张，而每台服务器 10 万个哈希点在数学上早已收益递减。Cloudflare 用 u16 索引与 90% 的哈希裁剪省下 100TB RAM，并靠双环并行迁移避免缓存雪崩。
不懂数学的人，用约 40 亿 token 证出了 Conway 五十年前的猜想
你显然可以直接证明事情。