The article says that the AI generated 1k candidates which were then reviewed by humans which then selected 3 which seemed most promising and then massaged them into the final rules. Makes the "AI" part of the project look much less impressive if it took so much human input afterwards.