The challenge of proactive AI agents beyond coding ยท Digg