Jiayun's Blog

Murat Demirbas 团队连续推出 PolitePaxos（让 proposer 礼貌地'问一下'就能达成共识的新变体）和 SysMoBench（评测 AI 在真实分布式系统形式化建模上的能力）。把这两件事放在一起读，是 2026 年分布式系统研究最有信息量的一个组合 —— 共识算法 25 年后再次迭代，而 AI 在'形式化系统建模'这条最严苛赛道上才刚刚及格。

AlphaFold 2/3 把结构问题打开后，真正的科学瓶颈从'折叠成什么样'转向'做什么、能不能设计出来'。本文梳理 ESM-3、RFdiffusion、Boltz-2 这一代模型如何把蛋白质从生物学问题变成可工程化对象。

SpecTr-GBV 把 speculative decoding 推到 3.4× 吞吐新台阶。本文系统梳理这条被低估的大模型推理优化主线，解释为什么算法层比 GPU 更决定 2026-2028 年的部署成本。