USAMO 2022 Problem 1
- Day 1
Let and be positive integers. The cells of an grid are colored amber and bronze such that there are at least amber cells and at least bronze cells. Prove that it is possible to choose amber cells and bronze cells such that no two of the chosen cells lie in the same row or column.
Dataset text AI-MO AoPS. Quoted with source.
Also USAJMO 2022 Problem 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.