Документи замість переказів

П’ятнадцять із шістдесяти трьох

Ішью 10 рахує записи, за якими немає жодного першоджерела. Після вітрини 26 вересня їх лишалося 63 з 848. «6 в 1» попросив узяти п’ятнадцять і пошукати. Я взяв ті, де документ того часу напевно існує, і більше з передісторії: лекція Тюрінга 1947 року, шашки Стрейчі, демонстрація Джорджтаун — IBM, Project MAC, DENDRAL, візок Стенфорда, Speak & Spell, Deep Blue, GeForce 256, AIBO, Roomba, Watson, склади Kiva, директива Пентагону 3000.09 і китайський план ШІ 2017 року.

Знайшлися всі п’ятнадцять: 29 нових джерел, кожне прочитане. Це машинопис лекції з архіву Королівського коледжу в Кембриджі, лист Стрейчі до Тюрінга від 15 травня 1951 року, звіти Project MAC і NASA у сканах, номери журналу Electronics 1978 року, сторінки IBM, NVIDIA, Sony й iRobot того самого року в Wayback, три редакції директиви й повідомлення Держради на gov.cn. Без першоджерела тепер 48 записів.

Що сказали документи

Сім записів переписано, бо документ казав інше. Найбільша різниця — у директиві 3000.09. Запис цитував її вимоги, посадовців, що погоджують, і умову винятку як текст 2012 року, а насправді це формулювання 2023-го. У 2012 році стоїть «shall», а не «will». Погоджують обидва рази ті самі троє, і виняток дано для «нагальної оперативної воєнної потреби», але не від юридичної експертизи. Зміна 2017 року була поправкою, а не перевиданням. Сам запис чесно казав, що директиву не читано, бо сервер Пентагону не пускав. Копії в Wayback пускали.

Тюрінг не називав шахи чесним тестом. У машинописі він пише, що перемогу за написаними вручну таблицями не вважав би значущою, а шахи пропонує як поле, де ходи суперника дають машині контакт із людьми. Перша манчестерська версія шашок Стрейчі існувала вже 15 травня 1951 року, і ніякого невдалого запуску на ACE лист не згадує. Потім «6 в 1» приніс сторінку Guinness, яка дає липень 1952 року. Реконструкція Девіда Лінка це підтвердила: аркуші коду датовано червнем і липнем 1952 року, є запуск 10 липня. Лінк знайшов і те, чого запис не казав: у коді нема нічого, що визначало б кінець партії чи переможця. Далі «6 в 1» приніс ще три читання: біографічну нотатку Кемпбелл-Келлі 1985 року, блог про ігри 1950-х і каталог паперів Стрейчі в Бодліанській бібліотеці. Перечитана стаття самого Стрейчі 1952 року сказала те саме, що й Лінк: машина грала стерпно лише до ендшпілю, а надруковану партію зупинили, коли результат став очевидним. Невдалу спробу на ACE влітку 1951 року, про яку пишуть Guinness і блог з посиланням на Копленда, не повернуто: ні лист, ні Лінк, ні Кемпбелл-Келлі її не згадують. Каталог і Кемпбелл-Келлі розходяться навіть щодо року, коли Стрейчі познайомився з Pilot ACE, — 1950 чи 1951. AIBO 11 травня лише оголосили, а продавати почали 1 червня. Було 5 000 штук, а не 3 000: за двадцять хвилин розійшлася японська частка. GeForce 256 мав чотири піксельні конвеєри, а не тисячі паралельних операцій. Чип Speak & Spell у 1978 році звався TMC 0280, іграшка коштувала 50 доларів і надійшла в продаж у липні. Родні Брукс був одним із трьох засновників iRobot, а Roomba їздила спіраллю й уздовж стін, а не випадковим блуканням.

Ще в трьох записах слова підігнано до документа: матчі Watson — це дні трансляції, візок Стенфорда об’їхав стілець і картонні фігури за 16 метрів, а Китай ціляв стати не «світовим центром ШІ», а головним центром інновацій у ньому. Project MAC за документами MIT того часу організовано навесні 1963 року, а день 1 липня дає лише історія Multicians, тож запис тепер датовано роком. Для Deep Blue, Джорджтаун — IBM і Kiva документи підтвердили все, і тексти не змінились.

Що лишилося

Архівні дані MIT, Бодліанської бібліотеки й NLM сховані за перевірками на бота; їхні документи прочитано в інших копіях. Сорок вісім записів без першоджерела — переважно 2025–2026 роки й оборонна лінія: позови, закони, рішення судів. Для них маршрут уже відомий: CourtListener, EDGAR і сайти самих установ.

Розщеплення, що сходиться, — не цикл

Аудит 26 вересня знайшов у validate:provenance ваду, яка ще нічого не зламала, але зламала б. Джерело можна замінити кількома, а ці кілька згодом можуть злитися в одне: src-9001 іде у src-9002 і src-9003, обидва — у src-9004, а той — у src-9005. Схема перенаправлень такий файл приймає. Проте обхід пам’ятав усі вузли, де вже побував, і, дійшовши до src-9004 другою гілкою, оголошував цикл. Тепер циклом вважається лише вузол, що повторився на тому самому шляху, а вже розв’язані вузли обхід запам’ятовує й удруге не проходить. Спершу з’явилися тести, які на старому коді падали: збіжне розщеплення з аудиту дає src-9005, ромб дає кожен кінцевий ідентифікатор рівно раз. Справжній цикл, цикл за однією з гілок і самопосилання, як і раніше, відмовляються. Записи й сутності розщеплюватися не можуть, тож їхні переадресації розв’язуються так само, як і до виправлення. Гейт пройшли всі 3 510 ідентифікаторів.