A Definition of AGI. - Dan Hendrycks; Dawn Song; Christian Szegedy; Honglak Lee; Yarin Gal; Erik Brynjolfsson; Sharon Li 001; Andy Zou; Lionel Levine; Bo Han 003; Jie Fu 001; Ziwei Liu 002; et al. (CoRR, 2025)