Hacker News new | ask | show | jobs
by NooneAtAll3 25 days ago
how would they calculate "probability of solving" without automated verification?