From Hacker News
AlphaProof Code
Article URL: https://deepmind.google/blog/introducing-alphaproof-code/ Comments URL: https://news.ycombinator.com/item?id=50439193 Points: 75 # Comments: 26
TechBlastTechnology. Unpacked.UK & world technologyTechBlastTechnology. Unpacked.UK & world technologyFrom Hacker News
Article URL: https://deepmind.google/blog/introducing-alphaproof-code/ Comments URL: https://news.ycombinator.com/item?id=50439193 Points: 75 # Comments: 26