Welcome to the AI crisis in math | Agent5