Alphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf]

(nature.com) by zuzatm | Nov 26, 2025 | 1 comments on HN