# Математический атлас OpenAI Math ## Доработка: объяснения для неспециалистов Главная страница теперь по умолчанию показывает 21 группу с простыми пояснениями. Открывайте `human.html` для полных карточек: вопрос, бытовой пример, заявление авторов, возможная польза, ограничения и первый эксперимент. Поиск работает и по тексту этих объяснений. На главной можно отключить фильтр «Только с объяснением на пальцах», чтобы вернуться ко всем 372 группам. Пояснения составлены по каталогу и имеющимся вводным разборам, не по новому полному чтению доказательств. Это не независимая верификация. Остальные группы пока не получили такого объяснения. Ранее созданные разборы, демонстрации и проекты сохранены; прежняя главная сохранена в `catalog-original.html`. Данные пояснений находятся в `notes/human_explanations.json` и встроены в `assets/human-data.js` для открытия без сервера. Дата анализа: **8 октября 2026 года**. Локальная история изменений заканчивается 7 октября. Точный текущий commit не установлен; версия архивов закреплена SHA-256 в `catalog.json` и на странице «Охват». ## Открытие Распакуйте `openai_math_atlas.zip`, затем откройте `openai_math_atlas/index.html` обычным браузером. Сервер, установка пакетов, интернет и CDN не нужны. CSS, JavaScript и данные находятся рядом. Каталог встроен в `assets/data.js`: сайт **не использует fetch для локального JSON**. JavaScript нужен только поиску и опытам; разборы, источники, проекты и ограничения — обычные HTML-страницы. В комплект включены 26 выбранных PDF, исходный общий контекст и уведомления об отзыве. Они открываются без исходных ZIP. Все 719 работ зарегистрированы, но остальные PDF не дублируются в сайте. ## Размещение остальных исходников Все восемь ZIP самостоятельны, их надо распаковать каждый в отдельную папку с именем архива без `.zip`. Не объединяйте содержимое вслепую. Структура рядом с сайтом: ```text workspace/ openai_math_atlas/ index.html assets/ deep/ sources/ math_sources/ math_research_01_of_08/ ARCHIVE_INDEX.md context/ preprints/ math_research_02_of_08/ ... ... math_research_08_of_08/ ... ``` Корректный путь, например, начинается с `math_sources/math_research_07_of_08/preprints/`. Если программа распаковки уже создала дополнительную папку, проверьте, что `preprints` находится именно на этом уровне. На страницах и в JSON указаны точные пути и SHA-256. Онлайн-ссылки GitHub ведут на меняющуюся ветку main и не заменяют локальную версию. ## Что сделано и чего не сделано Все 8 архивов доступны, CRC проверены. Реестр содержит 719 текущих рукописей в 372 семьях и 17 областях. 749 физических папок включают ещё 30 внекаталожных, из них три отозванные. Доступны 776 PDF в preprints (36 694 страницы); открытие PDF программой не означает прочтения. Повторяющийся контекст дедуплицирован: 251 уникальный файл, конфликтов копий нет. В 14 семьях просмотрены введения, формулировки основных теорем и вводная архитектура доказательств 17 рукописей. Точные страницы записаны в `notes/reviews.json`. Автоматически извлечены тексты 26 выбранных PDF (1208 страниц), но это не прочтение 26 работ. **Полностью прочитано рукописей: 0. Полностью проверено доказательств: 0. Lean не запускался: его исходники в архивах отсутствуют.** Reasoning traces не использованы как доказательство корректности. Остальные 358 семей оставлены на уровне каталога: русские названия, оригинальные заявления, пути, тип по предварительной эвристике, неопределённая применимость. Это навигация, а не 358 экспертных заключений. У всех новых главных теорем выбранных работ независимое подтверждение не установлено в выполненном ограниченном поиске. Это не утверждение, что таких подтверждений нигде нет. ## Файлы - `index.html`: карта, поиск, фильтры, все 372 семьи / 719 рукописей. - `deep/`: 14 вводных разборов; 8 содержательных интерактивных опытов. - `projects.html`: девять полных проектных планов и приоритетная тройка. - `inventory.html`, `verification.html`, `sources.html`: состав, границы знания, формальный охват, отзывы, журнал внешней сверки. - `catalog.json`: машинный реестр; `notes/batch-01.json` … `batch-08.json`: восемь партий с путями и статусом чтения. - `notes/reviews.json`, `notes/projects.json`, `notes/dependencies.json`: структурированные заметки. - `notes/file_manifest.json`, `notes/pdf_access_audit.json`: файловые хеши и структурный доступ к PDF. - `RESEARCH_REPORT_RU.md`: текстовый отчёт. - `experiments/results.json`: выполненные малые численные проверки; `experiments/browser_qa.json`: фактический протокол браузерных тестов. ## Демонстрации и воспроизведение Обмены рёбер (131), таблицы с полями (115), суперстрока (128), редакционное расстояние (121), планирование (124), численный диапазон (325), полярное тело (087), асимптотика умножения (109). Симуляции не названы реализациями новых теорем. Здесь используются малые полные перечисления, известное динамическое программирование, аналитические двумерные примеры и арифметика IEEE-754. Вычисленная TV относится к выбранному начальному состоянию и малому графу, а не доказывает общую оценку смешивания. Для таблиц сравниваются разные целевые законы, а не разные реализации одного распределения. Наш скрипт `experiments/check_models.py` можно запустить вручную в окружении Python 3.10+ с NumPy. Он создан для этого атласа, не взят из архивов. Не запускайте незнакомые скрипты из рукописей без отдельной проверки. Сайт ничего не устанавливает и не запускает автоматически. Анимация запускается только кнопкой; её можно остановить. Режим уменьшенного движения учитывает настройку ОС и кнопку в шапке. ## Лицензии См. `LICENSE_NOTES_RU.md` и исходный `sources/context/LICENSE`. Наличие лицензии репозитория не гарантирует прав на сторонние цитаты, данные, товарные знаки или патенты. Практические планы — исследовательские предложения, не гарантии корректности, скорости или дохода. ## Проверка интерфейса и её ограничение В Chromium 144 выполнены 59 проверок интерфейса и малых моделей: все прошли. Проверены 19 страниц, поиск и фильтры, слайдеры, воспроизведение/пауза, уменьшенное движение, клавиатурная ссылка перехода к содержанию и отсутствие горизонтального переполнения на выбранных мобильных страницах. 445 локальных ссылок HTML проверены на наличие файлов; ошибок не найдено. В этой среде переходы и на file://, и на localhost блокируются политикой Chromium (ERR_BLOCKED_BY_ADMINISTRATOR). Поэтому функциональные и визуальные тесты выполнены через Playwright set_content: в браузер подставлялись реальные HTML и локальные CSS/JS. Это не полная проверка обычной загрузки сайта и не подтверждение поведения file:// во всех браузерах. Сайт спроектирован для открытия без сервера: нет fetch, модульных импортов и обязательных сетевых ресурсов. Протокол и снимки находятся в experiments/; математические доказательства этими тестами не проверялись.