← Feed @hn50@social.lansky.name 2026-11-10 12:45 UTC AlphaProof Code Link: https://deepmind.google/blog/introducing-alphaproof-code/ Discussion: https://news.ycombinator.com/item?id=50439193 Replies (0) No replies.