TH-TMO 2018 Problem 3
Karakade has three flash drives of each of the six capacities gigabytes. She gives each of her servants three flash drives of different capacities. Prove that either there are two capacities where each servant has at most one of the two capacities, or all servants have flash drives with different sums of capacities.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.