"Cyc: Obituary for the greatest monument to logical AGI. After 40y, 30m rules, $200m, 2k man-years, & many promises, failed to reach intellectual maturity, & may never", Yuxi Liu 2025