Comment by 7373737373

They aren't - they are currently collating a repository of formalized open problems: https://github.com/google-deepmind/formal-conjectures