Hacker News new | ask | show | jobs
by adroniser 667 days ago
I completely agree this shit is so depressing. When I saw the AlphaProof paper I basically spent 3 days in mourning basically, because their approach was so simple.