Before superintelligent AI can solve major challenges, we need to define what 'solved' meansRichard SocherJanuary 13, 2026