Theorem — The set {1, . . . , 7824} can be partitioned into two parts, such that... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		curiousgal on Aug 1, 2017 \| parent \| context \| favorite \| on: 200 terabyte proof demonstrates the potential of b... 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 on Aug 2, 2017 [–]

Wow, interesting. Is the 200 terabyte proof necessary for that -- could it be refactored into something smaller?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact