It uses genetic programming to build the regular expression.
https://regex.ai/ was stuck with /9856|10190|9753|8883/ and confidently emitted /\d{4}/ as an alternative.
https://regex101.com/r/cAaV1z/1 confirms the former.
It uses genetic programming to build the regular expression.