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