AnswersPublished21 sources
Чому математики сперечаються через 722 рукописи OpenAI
Асоціація людської математики (AHM) закликала математиків припинити співпрацю з OpenAI, наголосивши: масова публікація результатів сама по собі не означає наукової перевірки. Спершу OpenAI заявила про 722 рукописи у 17 галузях, згруповані в 372 сімейства результатів.
ОпублікувавВідредаговано за допомогою GPT-6 LunaЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- Асоціація людської математики (AHM) закликала математиків припинити співпрацю з OpenAI, наголосивши: масова публікація результатів сама по собі не означає наукової перевірки.
- Спершу OpenAI заявила про 722 рукописи у 17 галузях, згруповані в 372 сімейства результатів.
- Суперечка стосується не лише математичної цінності результатів, а й прозорості роботи закритої моделі, навантаження на дослідників і місця людей у науковій роботі.
AI Prompt
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
Після публікації великої добірки математичних рукописів OpenAI Асоціація людської математики (Association for Human Mathematics, AHM) закликала математиків припинити співпрацю з компанією. Її претензія не зводиться до того, що окремі докази можуть виявитися хибними. На думку асоціації, масовий реліз від корпоративної моделі не замінює ретельного рецензування, належного опису методів і наукової дискусії.45
У добірці можуть бути цікаві результати. Але велика кількість файлів, додані матеріали з доказами й гучні твердження ще не є незалежним підтвердженням. Дискусія також порушує питання доступу до моделі, прозорості її роботи та того, на кого лягає обов’язок перевіряти оприлюднені результати.
Що опублікувала OpenAI
У первинному повідомленні OpenAI йшлося про 722 математичні рукописи у 17 галузях, об’єднані в 372 сімейства пов’язаних результатів. Отже, це не 722 окремі незалежні відкриття: одне сімейство може включати основний результат, додаткові аргументи, наслідки або альтернативні доведення. Репозиторій містить рукописи й допоміжні матеріали для перевірки доказів та доступний за ліцензією Apache-2.0.7
15
Компанія повідомила, що модель перевірила приблизно 4 000 задач, а середні обчислювальні витрати на один результат були приблизно еквівалентні трьом годинам роботи ChatGPT Pro Thinking. OpenAI також оприлюднила 10 скорочених викладів міркувань моделі та формалізації Lean для частини доказів.7
12
16 Lean — це система, у якій математичні твердження можна записати так, щоб їхню логічну коректність перевіряв комп’ютер.
Сам репозиторій застерігає, що результати перебувають на різних етапах перевірки й не всі мають формалізації Lean. У поточному каталозі вказано 719 рукописів, хоча в первинному анонсі йшлося про 722.10
11
Серед заявлених результатів є твердження про гіпотези Малера та точний показник ірраціональності числа π. Однак сам факт публікації рукопису не означає, що такі результати вже остаточно підтверджені математичною спільнотою.5
21
Чому AHM виступила проти
У своїй заяві AHM наголосила, що математики «не просили виконувати цю роботу», а публікацію сотень файлів назвала «демонстрацією сили», а не науковою працею. Асоціація закликає до скептичного ставлення й науки, зосередженої на людях, а не до поспішного прийняття чи масового опрацювання корпоративних результатів.45
Є й суто практична проблема: масштаб. Щоб оцінити рукописи, фахівцям потрібно прочитати аргументи, перевірити їх і зіставити результати з попередніми дослідженнями. Відкритий доступ до файлів дає спільноті матеріал для роботи, але не виконує цю роботу замість неї — значною мірою він передає її дослідникам.
AHM також пов’язала свою реакцію із застереженням Advisory Group on Mathematics and Artificial Intelligence — дорадчої групи, створеної для консультацій компаній зі штучного інтелекту щодо їхньої взаємодії з математичними дослідженнями. За словами AHM, група застерігала компанії від тестування складних математичних задач на внутрішніх моделях.45
Що перевіряють формалізації Lean — і чого вони не доводять
Формалізації Lean — важливий інструмент: вони дають змогу комп’ютерно перевірити ті докази, які справді записані в системі. OpenAI зазначає, що основний результат у 162 рукописах формалізовано.5 Це посилює перевірку саме цих результатів, але автоматично не підтверджує кожне твердження в кожному рукописі.
Якщо формалізації немає, аргумент потрібно оцінювати шляхом читання й перевірки. Репозиторій прямо зазначає, що результати перебувають на різних етапах перевірки і не всі супроводжуються формалізаціями Lean.10
11 Тож доречніше розглядати кожен результат окремо, а не вважати всю добірку доведеною або, навпаки, нікчемною.
Більше відомостей про процес — але не повна прозорість
Дані про приблизно 4 000 задач і середні обчислювальні витрати, а також 10 скорочених викладів міркувань дають певне уявлення про процес створення результатів.7
12
16 Однак вони не містять повної історії роботи над кожним із них, а сама модель залишається внутрішньою й недоступною для незалежного дослідження.
7
11
Кількість задач, які модель отримала, сама по собі не показує, як часто вона досягала успіху на чітко визначеному наборі складних математичних проблем. Щоб оцінити результативність і можливість відтворити роботу, дослідникам потрібні докладніші відомості про методику та процес отримання кожного результату.
OpenAI заявила, що планує проводити семінари й конференції, присвячені розгляду важливих результатів.7 Такі заходи можуть допомогти з перевіркою, але не замінюють достатньої відкритості, яка дала б іншим дослідникам змогу самостійно з’ясувати, як саме отримано докази.
Що ця суперечка означає для математичної науки
Однозначної відповіді немає. Добірка аргументів, створених за допомогою ШІ, може містити справжній математичний поступ. Але її цінність визначать результати, які витримають незалежну перевірку, а не масштаб релізу чи рівень складності згаданих задач.7
10
Реакція AHM водночас порушує питання про належне визнання попередньої людської праці, витрати часу на оцінювання нових результатів і можливий вплив таких публікацій на пріоритети та підтримку досліджень, які виконують люди. Сама добірка не дає відповідей на ці питання, але робить їх нагальнішими.45
Головне — розрізняти здатність системи генерувати багато математичних тверджень і наукове підтвердження цих тверджень. Суперечка стосується обох речей: того, що ШІ може дати математиці, і правил, потрібних для прозорої, перевірюваної та змістовної участі технологій у науковій спільноті.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Чому математики сперечаються через 722 рукописи OpenAI"?
Асоціація людської математики (AHM) закликала математиків припинити співпрацю з OpenAI, наголосивши: масова публікація результатів сама по собі не означає наукової перевірки.
What are the key points to validate first?
Асоціація людської математики (AHM) закликала математиків припинити співпрацю з OpenAI, наголосивши: масова публікація результатів сама по собі не означає наукової перевірки. Спершу OpenAI заявила про 722 рукописи у 17 галузях, згруповані в 372 сімейства результатів.
What should I do next in practice?
Суперечка стосується не лише математичної цінності результатів, а й прозорості роботи закритої моделі, навантаження на дослідників і місця людей у науковій роботі.