Hacker News new | ask | show | jobs
by cma 719 days ago
Probably because of Google's recent math olympiad results using AI-directed search in formal proof systems.