ARC 发布 AlgZoo:参数量不足 1500 的未完全理解模型
ARC 公开了 AlgZoo,一组训练执行算法任务的 RNN 和 Transformer,参数量从 8 到 1408 不等,用于检验机制可解释性中追求完全理解的研究路线。ARC 认为目前能基本完全理解的最大模型只有 32 个参数,而对 432 参数的模型投入大量精力后仍未完全理解。文章提出把解释定义为对模型损失的机制性估计,并用两种方式评估:一是均方误差随计算量的变化,二是 surprise accounting,后者给出完全理解的定义,即总惊讶比特数不超过选择该模型所用的优化比特数。ARC 据此提出挑战:设计一种方法,在均方误差随计算量这一指标上对 M_{16,10} 的准确率做出与随机采样相当的机制性估计。