News for hackers. Stuff that matters.

A comment on Long out of math, an AI programmer cracks a pure math problem. Parent comment

Re:Long out of math, an AI programmer cracks a pure math pro... by zem on Tuesday January 03, 2023 @07:00PM (#34239919)
I remember that problem from my college linear algebra course! I found a nice simple proof for integers (which was very satisfying!) but afaik you do need heavy linear algebra machinery to generalise it to the reals.
[ Parent | on HN ]
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.

[ Parent | on HN ]
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.
[ Parent | on HN ]
Re:Long out of math, an AI programmer cracks a pure math pro... by hgsgm on Wednesday January 04, 2023 @08:31AM (#34245307)
Why doesn't the integer proof work on reals?
[ Parent | on HN ]
Re:Long out of math, an AI programmer cracks a pure math pro... by zem on Wednesday January 04, 2023 @04:29PM (#34251997)
it relied on modular arithmetic
[ Parent | on HN ]