SAT求解器

Jane Street 发布了一个特殊的 ML 解谜游戏：给你完整的神经网络权重，让你找出能让它输出非零值的输入。这不是普通的黑盒攻击，而是需要真正理解网络在算什么。一位大学生花了几天时间，从线性规划到 SAT 求解器， …