Stephen Wolfram corresponded with Douglas Lenat but Lenat never gave Wolfram access to his Cyc software because he seemed to be very insecure about it.