IL-GILLIS 2020 Problem 1
Seven identical-looking coins are given, of which four are real and three are counterfeit. The three counterfeit coins have equal weight, and the four real coins have equal weight. It is known that a counterfeit coin is lighter than a real one. In one weighing, one can select two sets of coins and check which set has a smaller total weight, or if they are of equal weight. How many weightings are needed to identify one counterfeit coin?
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.
Similar problems
These problems have the most words in common with this statement.