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 ganzuul on Saturday June 19, 2021 @04:42PM (#27564290)
Kurt Gödel with a bat in dark alleyway of obviousness haunts my dreams.
[ Parent | on HN ]

There are no comments on this comment yet.