The new AI is general and mathematically rigorous