AI 当编译器：模型直出 PTX 汇编，FlashAttention 提速 1.37x

cosfrancois 主导、与 EPFL 合作的「AI 即编译器」研究，让模型直接把 Triton 等高层源代码翻译成 PTX 汇编，再由验证器通过符号/数值分析校验功能正确性，并检查竞态、死锁等属性。