3 ms·
They aren't - they are currently collating a repository of formalized open problems: https://github.com/google-deepmind/formal-conjectures https://github.com/go
by 7373737373 1y ago
They aren't - they are currently collating a repository of formalized open problems: https://github.com/google-deepmind/formal-conjectures https://github.com/google-deepmind/formal-conjectures