OBM 2013 Problem 2
Arnaldo and Bernaldo play the following game: given a fixed finite set of positive integers known by both players, Arnaldo picks a number but doesn't tell it to anyone. Bernaldo thens pick an arbitrary positive integer (not necessarily in ). Then Arnaldo tells the number of divisors of . Show that Bernaldo can choose in a way that he can find out the number chosen by Arnaldo.
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.