ОтветыОпубликовано21 источники
722 математические рукописи OpenAI: почему сообщество спорит о научной ценности публикации
Ассоциация за гуманную математику (AHM) призывает математиков прекратить сотрудничество с OpenAI: по её мнению, публикация сотен результатов сама по себе не делает их подтверждённым научным знанием. В первоначальную коллекцию вошли 722 рукописи из 17 областей математики, объединённые в 372 группы связанных результатов.
ОпубликовалОтредактировано с помощью GPT-6 LunaИзображения созданы с помощью GPT Image 2
Ответ на исследование
Ключевые выводы
- Ассоциация за гуманную математику (AHM) призывает математиков прекратить сотрудничество с OpenAI: по её мнению, публикация сотен результатов сама по себе не делает их подтверждённым научным знанием.
- В первоначальную коллекцию вошли 722 рукописи из 17 областей математики, объединённые в 372 группы связанных результатов.
- Спор касается не только возможной ценности результатов, но и прозрачности метода, объёма работы по проверке и места человеческих исследователей в математике.
Промпт ИИ
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Ассоциация за гуманную математику (Association for Human Mathematics, AHM) призвала математиков прекратить сотрудничество с OpenAI после того, как 6 октября 2026 года компания опубликовала большую коллекцию математических рукописей. Возражения организации связаны не только с тем, что отдельные доказательства могут оказаться ошибочными. AHM считает, что массовая публикация результатов, созданных корпоративной моделью, не заменяет научную проверку, подробное описание метода и обсуждение результатов исследовательским сообществом.45
В коллекции могут быть интересные математические результаты. Но внушительный объём публикации, файлы с доказательствами и громкие заявления ещё не означают, что всё опубликованное подтверждено. В центре спора также вопросы о доступе к модели, проверяемости её работы и о том, кто должен тратить время на перепроверку результатов.
Что опубликовала OpenAI
В первоначальном объявлении речь шла о 722 рукописях по 17 математическим дисциплинам, объединённых в 372 группы связанных результатов. Иными словами, это не 722 отдельные независимые открытия. В репозитории размещены рукописи и дополнительные материалы, связанные с доказательствами; коллекция опубликована по лицензии Apache-2.0.7
15
OpenAI сообщила, что модель проверила примерно 4 000 задач, а средние вычислительные затраты на один результат были сопоставимы примерно с тремя часами работы ChatGPT Pro в режиме Thinking. Компания также выложила 10 сокращённых описаний рассуждений модели и Lean-формализации некоторых доказательств.7
12
16 В репозитории указано, что результаты находятся на разных этапах проверки и что Lean-формализация есть не у всех. В текущем каталоге значатся 719 рукописей, тогда как в первоначальном объявлении говорилось о 722.
10
11
Среди заявленных результатов — утверждения, связанные, в частности, с гипотезами Малера и точным показателем иррациональности числа π. Однако наличие рукописи в репозитории само по себе не означает, что такие утверждения уже окончательно подтверждены.5
21
Почему возражает AHM
В своём заявлении AHM написала, что математики «не просили выполнять эту работу», а публикацию сотен файлов назвала «демонстрацией силы», а не научной работой. Организация призывает к скептическому отношению и к развитию науки, в центре которой остаются люди, а не к поспешному принятию или массовой обработке результатов, выпущенных компанией.45
Есть и практическая сторона вопроса: чтобы оценить рукописи, специалистам нужно прочитать и проверить доказательства, а также сопоставить результаты с уже существующей литературой. Открытый доступ даёт исследователям материалы для анализа, но не снимает с них эту работу. В значительной степени она просто переходит к математическому сообществу.
AHM также связала свою реакцию с рекомендациями Консультативной группы по математике и искусственному интеллекту (Advisory Group on Mathematics and Artificial Intelligence). Эта группа создана, чтобы консультировать AI-компании по вопросам их взаимодействия с математическими исследованиями. По словам AHM, группа предостерегала от проверки сложных математических задач на внутренних корпоративных моделях.45
Что проверяет Lean — и чего он не подтверждает
Lean — это система, с помощью которой математические доказательства можно формализовать и проверить компьютером. Такая формализация усиливает проверку именно тех результатов, которые действительно переведены в систему. OpenAI сообщает, что основные утверждения в 162 рукописях формализованы.5 Но это не означает, что автоматически подтверждены все утверждения во всех работах.
Если для доказательства нет соответствующей формализации, его всё равно нужно оценивать, читая и проверяя аргументацию. Сам репозиторий указывает, что результаты находятся на разных этапах проверки и что Lean-формализацией снабжены не все работы.10
11 Поэтому разумнее рассматривать каждый результат отдельно, а не считать всю коллекцию либо уже доказанной, либо бесполезной.
Больше сведений о процессе — но не полная прозрачность
Данные о примерно 4 000 проверенных задачах и вычислительных затратах, а также 10 сокращённых описаний рассуждений дают некоторое представление о работе модели.7
12
16 Но они не раскрывают полную историю создания каждого результата. Сама модель остаётся внутренней и недоступной для независимого изучения.
7
11
Кроме того, общее число задач не позволяет само по себе понять, насколько часто модель успешно решала заранее определённый набор сложных математических проблем. Чтобы оценить качество и воспроизводимость результатов, исследователям нужна более подробная информация о методе и о том, как получена каждая работа.
OpenAI сообщила, что планирует проводить семинары и конференции для разбора важных результатов.7 Такие инициативы могут облегчить обсуждение, но не заменяют публикацию достаточных сведений, которые позволили бы другим исследователям самостоятельно оценить, как были получены доказательства.
Что этот спор говорит о роли людей в математике
Однозначного ответа здесь нет. Созданные с помощью AI аргументы могут содержать реальный математический прогресс, но ценность коллекции определят результаты, которые выдержат независимую проверку, а не количество файлов или значимость задач, о которых заявлено.7
10
Реакция AHM также привлекает внимание к признанию предшествующей человеческой работы, затратам времени на проверку новых результатов и возможному влиянию AI на приоритеты и поддержку исследований, которые ведут люди. Публикация рукописей сама по себе не разрешает эти вопросы — но делает их более насущными.45
Главное — не смешивать способность модели массово генерировать математические утверждения с научным подтверждением этих утверждений. Спор касается обеих сторон: того, какой вклад AI способен внести в математику, и правил, необходимых для того, чтобы этот вклад был проверяемым, прозрачным и значимым для научного сообщества.
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Люди также спрашивают
Каков краткий ответ на вопрос «722 математические рукописи OpenAI: почему сообщество спорит о научной ценности публикации»?
Ассоциация за гуманную математику (AHM) призывает математиков прекратить сотрудничество с OpenAI: по её мнению, публикация сотен результатов сама по себе не делает их подтверждённым научным знанием.
Какие ключевые моменты необходимо проверить в первую очередь?
Ассоциация за гуманную математику (AHM) призывает математиков прекратить сотрудничество с OpenAI: по её мнению, публикация сотен результатов сама по себе не делает их подтверждённым научным знанием. В первоначальную коллекцию вошли 722 рукописи из 17 областей математики, объединённые в 372 группы связанных результатов.
Что мне делать дальше на практике?
Спор касается не только возможной ценности результатов, но и прозрачности метода, объёма работы по проверке и места человеческих исследователей в математике.