AI math - unverifiedÂ