Large Forulas with AI