Mathematicians are developing rules for AI use | Dark Hacker News