Hacker News new | ask | show | jobs
by dartos 672 days ago
What part of “AI” implies “formally verified?”