News for hackers. Stuff that matters.
Re:Mathematicians welcome computer-assisted proof in ‘grand ... by Tainnor on Saturday June 19, 2021 @04:32PM (#27564211)
That may very well be the case, but to a person starting out right now, those foundations seem to be lacking right now (or at least are not easily discoverable).

There are no comments on this comment yet.