Знаменательное доказательство теоремы по информатике захватывает и физику с математикой

[Shiny2]

Интересно, а Конну обидно, что его гипотеза не верна?

[Vitter]

Чуть ранее уже переводили эту статью на Хабре: MIP* = RE

[BInc]

С тем, что на самом деле означает запутанность, вышла некоторая путаница.

Отлично :)

[DmitryKoterov]

Ученые, бесспорно, добились большого успеха и прекрасно понимают, о чем речь. Но простите, данная статья (исходная) для непосвященного уха — кака-то шизофазия (вроде все слова согласованы, а смысла мало). Интересно, понимает ли сам автор статьи тему, которую описывает?

[ZEvS_Poisk]

Может я совсем чего-то не понял, но неужели нет алгоритмов, которые отслеживают признаки вечного цикла?