News for hackers. Stuff that matters.

A comment on Mathematicians welcome computer-assisted proof in ‘grand unification’ theory. Parent comment

Re:Mathematicians welcome computer-assisted proof in ‘grand ... by mkl on Sunday June 20, 2021 @08:28AM (#27569352)
Yes, but that's a totally different category of problem from what proof assistants do.
[ Parent | on HN ]

There are no comments on this comment yet.