KURSCHAK 1965 Problem 3
A pyramid has square base and equal sides. It is cut into two parts by a plane parallel to the base. The lower part (which has square top and square base) is such that the circumcircle of the base is smaller than the circumcircles of the lateral faces. Show that the shortest path on the surface joining the two endpoints of a spatial diagonal lies entirely on the lateral faces.

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.