研究团队发布Blackwell内核验证器

发生了什么

据X平台发布信息，研究团队推出Blackwell内核验证器。该工具基于“AI作为编译器”方法，通过大语言模型直接生成针对特定工作负载的优化PTX代码，并由验证器进行正确性检查。该方法跳过中间编译器层，旨在实现对硬件的细粒度控制，并可检查符号正确性、竞态条件及同步问题。