math computation theory AI