Brundage notes irony in AI firms' AGI messaging · Digg