News for hackers. Stuff that matters.
Re:Long out of math, an AI programmer cracks a pure math pro... by thaumasiotes on Tuesday January 03, 2023 @07:13PM (#34240021)
> I found a nice simple proof for integers (which was very satisfying!)

But no such proof can exist because the claim is not true. When you posted your comment, Fetiorin had already given a counterexample.

Re:Long out of math, an AI programmer cracks a pure math pro... by SideQuark on Tuesday January 03, 2023 @07:33PM (#34240200)
I was pulling the problem from memory. Add the requirement boths sides are same number of items.