#程序进化

LLM 自动写程序进化出量子纠错码，再用 Lean 证明推广成定理，一口气填补 54 个编码表空缺，AI 做数学的新范式。