Исследователи разрабатывают безусловные тесты верификации для преимущества квантовой выборки, используя одноразрядные и парные корреляции, с проверенными машиной доказательствами на Lean 4 и выявленными путями к полной корректности.
@informaq-ru.bsky.social