Hacker News new | ask | show | jobs
by looofooo0 9 days ago
Proofing open math conjectures