The challenge of proactive AI agents beyond coding · Digg