Mathematicians are developing rules for AI use · HackerLangs