BALTIC-WAY 2008 Problem 19
In a circle of diameter 1, some chords are drawn. The sum of their lengths is greater than 19. Prove that there is a diameter intersecting at least 7 chords.
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.