For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/ru/articles/openai-math-manuscripts-the-human-researc-d516b5a8.md.
Математическое рассуждение, созданное ИИ, может быть новым, но при этом опираться на длинную цепочку человеческих открытий. Понимание этой ц...
Математическое рассуждение, созданное ИИ, может быть новым, но при этом опираться на длинную цепочку человеческих открытий. Понимание этой цепочки важно для оценки вклада модели, используемых ею допущений и того, кто заслуживает признания.
Проект SeaFill On Whose Shoulders упрощает изучение этой исследовательской истории. Инициированный Цюнсю Ли из Ольборгского университета, он индексирует работы людей, на которые ссылается публичная коллекция рукописей OpenAI по математике и теоретической информатике. Его задача — атрибуция и поиск: помогать читателям находить людей и статьи, стоящие за результатами.
Изначально OpenAI выпустила 722 рукописи 6 октября 2026 года. После отзыва трёх из них репозиторий содержит 719 актуальных рукописей, объединённых в 372 семейства, где каждое семейство группирует связанные аргументы, следствия или альтернативные доказательства.
На момент проверки на главной странице SeaFill были представлены следующие показатели:
| Показатель | Значение проекта |
|---|---|
| Актуальные рукописи | 719 |
| Цитируемые работы людей | 11 067 |
| Авторы-люди | 9 607 |
| Цитируемые лауреаты премий Филдса, Абеля или Вольфа | 114 |
Это показатели индексации проекта, и они могут меняться по мере обновления данных. Их не следует интерпретировать как количество независимых подтверждённых прорывов.
Визуализация цитирования, воспроизведённая в отчёте BAAI/Xinzhiyuan. Малые точки обозначают препринты ИИ; более крупные узлы с контуром обозначают статьи людей, на которые ссылаются несколько препринтов. Исходные подписи приведены на китайском языке.
Сеть связывает несколько областей, а не представляет математику ИИ как единое недифференцированное достижение. Арифметическая геометрия, теория вероятностей, комбинаторика и геометрический анализ имеют собственные массивы предшествующих исследований.
В публикации приводятся примеры из современной и исторической математики: Фарг и Шольце в арифметической геометрии; Биркар, Фудзино и их соавторы в бирациональной геометрии; а также Дюминиль-Копен и коллаборация Дюплантье—Миллер—Шеффилд в теории вероятностей.
Среди других примеров — методы пределов графов Ловаса и Сегеди, подход Бургена—Каца—Тао к задачам о суммах и произведениях, работы Талаграна о спиновых стёклах, аргументы Перельмана, связанные с потоком Риччи, и вклад Делиня в теорию Ходжа. Эти примеры показывают диапазон математических инструментов, представленных в коллекции, но не доказывают, что каждый процитированный результат необходим для каждого аргумента.
Источник также выделяет вклад математиков китайского происхождения. В нём рассматриваются работы Яу о гипотезе Калаби, работы Черна о теореме Гаусса—Бонне и теории Черна—Саймонса, а также недавние исследования по гармоническому анализу с участием Хун Вана, Джошуа Заля, Шаомина Го и Жуйсяна Чжана. Важный практический вывод прост: ссылки ведут к конкретным результатам, которые читатели могут изучить.
Снимок экрана исходного индекса цитирования проекта, воспроизведённый Xinzhiyuan/BAAI.
Библиография документирует, на что ссылается рукопись. Она не устанавливает, входила ли эта работа в обучающие данные модели, в какой степени она повлияла на модель или является ли новый аргумент верным.
SeaFill прямо предупреждает, что цитирование — не то же самое, что зависимость. Проект фиксирует имена как дань признания и не оценивает самостоятельно корректность, оригинальность или споры об атрибуции. Такое разграничение делает индекс более полезным: читатели могут проследить доказательства, не ожидая от визуализации ответов на вопросы, для которых она не предназначена.
Научная экспертиза важна не только при написании статей. Исследователи выбирают значимые проблемы, определяют релевантные гипотезы, устанавливают критерии проверки и оценивают, выдерживает ли кажущееся достижение тщательную проверку. Разработчики моделей вносят вклад через архитектуры, системы обучения и вычислительную инфраструктуру. Эти роли пересекаются в одном исследовательском процессе.
Источник рассматривает в этом контексте предобучение, обучение с учителем, обучение с подкреплением и поиск на этапе инференса. Их эффективность зависит от задачи и качества доступной обратной связи. Один лишь анализ цитирований не может определить универсальные пределы того, что способны открыть эти методы.
Опишите идею одной фразой, и We0 AI создаст сайт-витрину, страницы и CMS, а после запуска поможет привлечь клиентов и трафик.
Одна полная генерация проекта для бесплатной регистрации
Лучше всего попробовать один полный поток генерации и быстро увидеть первый черновик проекта.
В репозитории OpenAI указано, что коллекция содержит материалы на разных этапах верификации и что некоторые неформализованные результаты могут содержать проблемы. Сообщается, что формализовано примерно 42% основных результатов; на странице истории текущий расчёт составляет 300 из 719.
Запись об исправлении от 7 октября служит практическим примером. Ошибка знака сделала недействительным аргумент в рукописи об алгебраичности классов Вейля на расщеплённых абелевых многообразиях размерности восемь и затронула две зависимые рукописи. OpenAI отозвала все три, пересмотрела ещё 14 рукописей и обновила ссылки в дополнительных 13 рукописях после этих исправлений.
Эти изменения важны при цитировании коллекции. Читателям следует использовать актуальную версию, изучать примечания о зависимостях и различать математическое утверждение и доступную машинно проверенную формализацию. Наличие PDF-файла в репозитории не равнозначно завершённой проверке научным сообществом.
Более широкий вопрос статьи состоит в том, остаётся ли научный вклад заметным по мере масштабирования результатов ИИ. Система может генерировать множество вариантов аргументов, однако для полезного прогресса по-прежнему нужны хорошие вопросы и надёжные способы отклонять ошибки.
Новые эксперименты, более качественные наборы данных, улучшенные формализации и критическая экспертиза дают информацию, которую один только сгенерированный текст гарантировать не может. On Whose Shoulders вносит свой вклад в этот процесс, облегчая поиск человеческой научной литературы. Это справочный инструмент, а не замена проверке доказательства.
Это проект SeaFill, который помогает читателям изучать человеческие исследования, процитированные в отдельных научных результатах ИИ. Его математический индекс охватывает ссылки, связанные с публичной коллекцией рукописей OpenAI.
Первоначальный выпуск содержал 722 рукописи. Позднее три были отозваны, и на момент проверки 16 октября 2026 года в репозитории оставалось 719 актуальных рукописей.
Нет. Цитирование в созданной рукописи не раскрывает состав обучающего набора данных модели и не устанавливает причинное объяснение её рассуждений.
Нет. Репозиторий сообщает, что формализовано около 42% основных результатов, и прямо предупреждает, что неформализованные результаты могут содержать проблемы. Для конкретного результата, который вы планируете использовать, следует проверить сведения о формализации и примечания к версиям.
Страница истории OpenAI указывает на ошибку знака, сделавшую недействительными аргумент об аннулировании стабилизационного следа и конструкцию, использованную в двух связанных статьях. Отозванные версии остаются доступными по ссылкам через пояснительные уведомления.
OpenAI просит использовать блок BibTeX в каталоге конкретной рукописи. Перед цитированием или использованием результата в дальнейшей работе проверьте его актуальную версию и все примечания об исправлениях.
On Whose Shoulders делает более заметной человеческую научную литературу, стоящую за математической коллекцией OpenAI. Его индекс цитирования даёт полезные отправные точки для признания исследователей и отслеживания аргументов до их источников.
Исправления и частичная формализация коллекции также показывают, почему атрибуцию и валидацию необходимо рассматривать вместе. Перспективная рукопись, созданная ИИ, всё равно требует проверки ссылок, допущений и доказательства.
Начните с одной фразы и получите полноценный сайт за считанные минуты.
