They aren't - they are currently collating a repository of formalized open probl...

		7373737373 6 months ago \| parent \| context \| favorite \| on: Gemini with Deep Think achieves gold-medal standar... They aren't - they are currently collating a repository of formalized open problems: https://github.com/google-deepmind/formal-conjectures