AI 加速了漏洞挖掘，但数学和 AI 研究本身还没被带飞；SPADE 让模型自己出题自己练；Hawkeye 靠单元测试教 AI 写更好的 GPU 内核

Import AI 470: No rights for machines; automating environment generation with SPADE; and building better GPU kernels with Hawkeye

METR 的一项研究对比了三个领域，发现大模型对网络安全漏洞发现的提速最猛，2026 年多个项目的漏洞报告量比 2025 年大幅跳升。数学研究有轻微加速，arXiv 部分领域投稿量不到一年翻倍，几个知名猜想也被解决，但贡献到底多大还不好量化。AI 研究本身的优化则没看到可测量的加速，只在个别子任务上有模型参与的痕迹。这种不均衡说明 AI 的加速是分领域...