Mathematicians are developing rules for AI use | Hacker News Reader