IMC 2018 Problem 6
Let be a positive integer. Find the smallest positive integer for which there exists nonzero vectors in such that for every pair of indices with the vectors and are orthogonal.
Proposed by Alexey Balitskiy, Moscow Institute of Physics and Technology and M.I.T.
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.