Поиск выполнен 08.10.2026. Найденный внешний предшественник не отмечается как подтверждение нового результата; авторское уведомление об отзыве не выдаётся за независимую рецензию.
Роль: Первичный источник состава коллекции и авторского статуса проверки, не независимая рецензия
Охват: README открыт. Прямое открытие показывает 719/372; поисковый кэш иногда ещё показывает 722. Локальный снимок имеет приоритет для инвентаризации.
Открыть первичный источник ↗Роль: Первичное уведомление об отзывах, исправлениях и заявленной формализации
Охват: Прочитана запись об ошибке знака, трёх отзывах, 14 ремонтах доказательств, 13 обновлениях ссылок и 300/719 top-line результатов. Единица top-line не отождествляется с числом файлов Lean.
Открыть первичный источник ↗Роль: Независимый предшествующий скалярный результат; не проверка полного усиления OpenAI
Охват: Просмотрены теорема 3 и замечание 3(iv), включая PDF-страницы 3 и 5. Полный аудит доказательства не выполнен.
Открыть первичный источник ↗Роль: Первичный препринт-предшественник: заявлены 7/3 для SCS и 3 для Greedy
Охват: Аннотация и формулировка вклада; доказательство не проверено. Дата приведена по метаданным страницы, а не выведена из номера arXiv.
Открыть первичный источник ↗Роль: Первичный препринт о нижней границе 9/4 для Greedy; не рецензия работы 128
Охват: Просмотрены аннотация и формулировка семейства контрпримеров, не полное доказательство.
Открыть первичный источник ↗Роль: Опубликованный исторический ориентир: 2,466 для SCS и 3,396 для Greedy
Охват: Просмотрена первая страница PDF. Это не самая новая граница на дату анализа.
Открыть первичный источник ↗Роль: Первичный предшественник с ограничениями на последовательности степеней
Охват: Проверены библиографическая запись и область постановки по доступному поисковому фрагменту; полное доказательство не читалось.
Открыть первичный источник ↗Роль: Первичный исторический источник для таблиц в специальных режимах полей
Охват: Постановка сопоставлена с введением 115; полный внешний текст не проверен.
Открыть первичный источник ↗Роль: Официальное описание другого закона — таблиц при условной независимости
Охват: Прочитаны определение распределения и описание методов генерации. Не является доказательством равномерности по всем таблицам.
Открыть первичный источник ↗Роль: Опубликованный предшествующий результат в многоленточной битовой модели
Охват: Открыты аннотация и библиографические данные. Независимая проверка улучшения из группы 109 не найдена.
Открыть первичный источник ↗В частности, проверялись сочетания openai/math с review, proof, Hodge, sign error, switch chain, Crouzeix; отдельно искались прежние границы SCS, скалярная теорема Крузейкса и битовое умножение. Автоматические пересказы и новостные публикации не использованы как доказательства корректности. Веб-поиск по всем 719 рукописям не проводился.
Первичные страницы некоторых источников просмотрены лишь по аннотации или формулировке; подробный уровень чтения указан в каждой карточке. Не заявляется проверка всех доказательств этих предшественников.
README · Каталог · История · Обзор PDF · Каталог формализаций · Исходная лицензия.
Эти файлы взяты один раз из архива 01; остальные семь копий контекста совпали по хешам. Локальные исходники выборки вложены в сайт. Остальные PDF открываются по относительным путям после размещения исходных архивов по инструкции.