RU-ALLRUSSIAN 1991 Problem 7
An investigator works out that he needs to ask at most 91 questions on the basis that all the answers will be yes or no and all will be true. The questions may depend upon the earlier answers. Show that he can make do with 105 questions if at most one answer could be a lie.
Dataset text NuminaMath olympiads. 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.