3 ms·
Theorem — The set {1, . . . , 7824} can be partitioned into two parts, such that no part contains a Pythagorean triple, while this is impossible for {1, . . .
by curiousgal 9y ago
Theorem — The set {1, . . . , 7824} can be partitioned into two parts, such that no part contains a Pythagorean triple, while this is impossible for {1, . . . , 7825}.
- hellbanner 9y agoWow, interesting. Is the 200 terabyte proof necessary for that -- could it be refactored into something smaller?