Do you regularly test your AI on the https://github.com/google-deepmind/formal-c...

		7373737373 12 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... Do you regularly test your AI on the https://github.com/google-deepmind/formal-conjectures collection?