*AI* solution to IMO 2024 Problem 4 (by SILVER medalist Alpha Geometry)

2.7K views

Dedekind cuts

4 months ago

*AI* solution to IMO 2024 Problem 4 (by SILVER medalist Alpha Geometry)

*AI* solution to IMO 2024 Problem 4 (by SILVER medalist Alpha Geometry)