New top story on Hacker News: AlphaProof's Greatest Hits: the coolest bits from the IMO 2024 solutions

AlphaProof's Greatest Hits: the coolest bits from the IMO 2024 solutions
27 by rishicomplex