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 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 ]