Odpověď na názor
Odpovídáte na názor k článku Google oznámil první ověřitelný kvantový algoritmus s praktickým využitím. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
-
Mimochodem, k tématu důkazu teorémů, docela se ta oblast rozjela začátkem tohoto desetiletí, hezký začátek, na co se kouknout dál třeba tenhle post https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/ ale rozhodně ještě dlouho dlouho nebudeme v situaci, že někdo (preferably něco) zformalize celý důkaz něčeho opravdu zajímavého, aby pak automat dal TRUE/FALSE.
