KöMaL 2010 B4257
A group of 11 000 astronauts are trained for a Mars mission. Given that from any 4 of them it is possible to select a suitable crew of 3 members for the landing module, prove that it is possible to select 5 astronauts such that any 3 of them form a suitable crew. ( Kvant )
Official text KöMaL. 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.