Důkaz MIP*=RE

Článek na popularizačním webu Quanta Magazine představuje důkaz MIP*=RE zveřejněný v lednu na arXiv.org. Zjednodušeně, interaktivní dokazovací systém (kvantový počítač s provázáním) teoreticky může řešit na Turingově stroji nerozhodnutelné problémy jako problém zastavení. Shrnutí také v blogu Quantum Frontiers či Scotta Aaronsona a následné diskuzi.

6.3.2020 07:00 | Fluttershy, yay! | Zajímavý článek

Komentáře

[dsf]

Sami belosi, jak to vubec muzes postnout ty rasisto!

[Fluttershy, yay!]

Vypadají Henry Yuen, Zhengfeng Ji nebo Anand Natarajan jako běloši?

[/dev/urandom]

Ked pouzijem spravny filter tak ano

[Petr]

Z toho se nevykroutíš, žádný černý tarnsgender lesbický muslimky. Literally Hitler.

[yxcy]

Jak se opovažuješ zmiňovat dávno zavržený koncept rasy?

[dsfd]

A už nějakej kvantovej počítač mají?

[/dev/urandom]

Raspberry Pi Quantum Edition

[Faceless man]

Predstavte si AI zalozene na QC a podporovane petabajtami storagu.

[_]

Bude to schopné inteligenčně překonat myš?

[yxyxyxxyxyxy]

Ano, třeba v šachách. Ale muselo by to mít víc qubitů, než má v hlavě ta myš.

[_]

Šachy nevyžadují moc inteligence (pokud vůbec nějakou), to je v podstatě mechanická úloha.

[yx]

A lov kořisti je z 95% teorie řízení, rozpoznávání obrazu a prvidla kde kempit.

[_]

Nic z toho žádná AI nezvládne. A myš toho musí zvládat mnohem víc.

Ale je poravda, že jsem to s tou myší přehnal. To je scifi. Raději zkusit švába. Nebo trepku :)

[xz]

Proč myslíš? Na lov jenom nemáme HW, ale i pokročilý smečkový chování typu nadehnání do pasti se dá naprogramovat. Připravit matku o chráněného potomka je samozřejmě jiná liga.
Já defakto pokračuju v tom, co tu kdosi nadhazoval posledně. Že otázka co to je ta inteligence se dá dost rozvolnit, až k tomu, že řekneme, že inteligence vlastně není nic.
A samozřejmě vím, že to myší učení prostě nedáváme.

[Petr]

To jakože to je petaqubajtový počítač, nebo jak se z kvantové superpozice sahá na storage?

[karel_iv]

Ještě existuje o tom přednáška https://sites.google.com/site/plustcs/past-talks

[JK]

K hovnu.

[Sid]

Predpokladam, ze to moze riesit problem zastavenia pre konkretny turingov stroj. Ale je to schopne riesit tento problem pre obecne lubovolny stroj?

[B]

A jak to souvisí s Linuxem?

[Petr]

Kolibáč si potřeboval zamachrovat.

[Fluttergay Yai]

No souvisi to tak, ze Alan Turing v zivote Linux nepouzil.

[YYCCYY]

Vy jste někdy někdo potkal Turringův stroj v praxi? Já si vždycky hrál jen s konečnejma automatama...

[Knuth]

Tragéde :) Každý procesor obsahuje instrukce a každá jedna instrukce je Turingovým strojem.

[/dev/urandom]

netrep

[Tibi]

Má pravdu. Každú inštrukciu zrealizuješ páskou a ceruzkou. NAND stačí na celý boolean logic.