最新文章

面向博士生系统解释 Flow Matching 的连续性方程、条件流匹配、直线插值与耦合，并拆解 DiT 的 latent patch、adaLN-Zero、条件注入、ODE 采样及二者如何组成现代生成模型。

介绍 Thomas Bloom 创建的 Erdős Problems 网站，解释 open、solved、proved、disproved 与 Lean formalized 的区别，并按 2026 年 7 月 28 日数据梳理仍完全未解、尚无解答证明的 Erdős 问题。

她十几岁离开村庄，在一年内解围奥尔良、护送查理七世加冕，又在十九岁左右被送上火刑架。依据审判记录、平反证词与同期文献，完整讲述贞德从出生、神启、战争、被俘、审判到身后平反和封圣的真实故事。

一篇面向博士生的睡眠科学长篇综述：从睡眠的操作性定义、多导睡眠图、昼夜节律与稳态调节，到神经环路、记忆巩固、突触重整、脑液流动、DNA修复、免疫代谢、跨物种演化及关键争议。

从诱导树、围长和邻域独立数讲起，用广度优先树与测地路解释 Graffiti.pc 第 141 号猜想的构造性证明，并介绍 Lean 4 机器检验。