A cautionary tale
Peter Cameron's Blog 2023-09-24
Summary:
This was just reported to me by a group theorist. He asked ChatGPT whether Aut(G) wr Sym(n) is a subgroup of Aut(G^n). It was honest enough to say that it didn’t know (though it said it in a rather roundabout … Continue reading →