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

• Posted 8 hours ago by zuzatm
• 2 points