News for hackers. Stuff that matters.
Re:Mathematicians try to understand how CS proof solves Conn... by fjfaase on Friday April 17, 2020 @04:26AM (#22897214)
The paper 'MIP* =RE' https://arxiv.org/abs/2001.04383, where the article is referring to, has already been discussed here extensively. It is also being studied by many people, because it is a very important and surprising result. I guess that Connes conjecture is but one of the many things that is affected by the MIP* =RE result.
Re:Mathematicians try to understand how CS proof solves Conn... by chrispeel on Friday April 17, 2020 @08:57PM (#22904424)