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