Oh I heard about that. I understand some mathematicians were using llms to develop proofs but the mathematicians became upset because they claimed the llms cribbed their work without their permission.