Gradio’s NeurIPS challenge asks AI agents to show their work · Digg