Hacker News new | ask | show | jobs
by 7373737373 153 days ago
Do you regularly test your AI on the https://github.com/google-deepmind/formal-conjectures collection?