KöMaL 2013 A589
Does there exist such a convex polyhedron that can be placed in a sphere with unit radius, it has at least 2013 vertices, it has no edge shorter than 1/2, and it has no triangle face?
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.
Similar problems
These problems have the most words in common with this statement.