2.7K views
Dedekind cuts
*AI* solution to IMO 2024 Problem 4 (by SILVER medalist Alpha Geometry)
Login with Google Login with Discord