14 ms·

What did it prove?

• 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 ago
    Wow, interesting. Is the 200 terabyte proof necessary for that -- could it be refactored into something smaller?