AnswersPublished21 sources
Один хибний знак — і OpenAI відкликала три математичні рукописи
7 жовтня 2026 року OpenAI відкликала три рукописи з оприлюдненої напередодні добірки: помилка +1 замість −1 зруйнувала доведення про класи Вейля та два пов’язані аргументи. Після оновлення в каталозі залишилося 719 рукописів у 372 тематичних групах; ще 14 робіт переглянули, а в 13 супровідних статтях оновили посилання.
ОпублікувавВідредаговано за допомогою GPT-6 LunaЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- 7 жовтня 2026 року OpenAI відкликала три рукописи з оприлюдненої напередодні добірки: помилка +1 замість −1 зруйнувала доведення про класи Вейля та два пов’язані аргументи.
- Після оновлення в каталозі залишилося 719 рукописів у 372 тематичних групах; ще 14 робіт переглянули, а в 13 супровідних статтях оновили посилання.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. 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 відкликала три математичні рукописи менш ніж за добу після того, як 6 жовтня виклала на GitHub 722 роботи, створені внутрішньою моделлю компанії. У ключовому доведенні знайшли помилку зі знаком: вона зруйнувала аргумент в одній статті, а разом із ним — і обґрунтування двох робіт, що від нього залежали. Цей випадок нагадує: оприлюднити математичний текст — не те саме, що незалежно перевірити його висновки. 24
35
Що саме опублікувала OpenAI
6 жовтня компанія розмістила на GitHub рукописи, створені внутрішньою моделлю, яку не випускали у відкритий доступ. Роботи згрупували у 372 тематичні «родини»: кожна може містити основний результат, пов’язані доведення, наслідки або альтернативні способи доведення. Добірка охоплює, зокрема, алгебру, геометрію та комп’ютерні науки. 1
35
38
Тож 722 рукописи — це не 722 незалежні результати. Частина робіт спирається на аргументи чи конструкції з інших текстів тієї самої групи. Саме цей зв’язок і виявився вирішальним після перевірки. 1
24
Як одна помилка потягнула за собою ще дві роботи
Проблему виявили в рукописі Algebraicity of Weil classes on split abelian eightfolds. В одному з ключових міркувань геометричній операції приписали знак +1, хоча за домовленостями, прийнятими в самій роботі, мав бути −1. Через це перестав працювати аргумент із взаємним скороченням, на якому трималася побудова в статті. 21
24
27
На цю роботу спиралися ще два рукописи: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces і The rational Hodge conjecture for products of K3 surfaces. Коли базовий аргумент не витримав перевірки, пов’язані твердження вже не можна було обґрунтувати через нього — тому OpenAI відкликала всі три роботи. Йдеться про хибність доведень у цих рукописах, а не про спростування самих гіпотез, яких вони стосувалися. 21
24
35
Що змінилося в каталозі
В оновленні від 7 жовтня OpenAI повідомила про відкликання трьох рукописів, перегляд ще 14 і оновлення посилань у 13 пов’язаних роботах. Кількість рукописів у каталозі зменшилася з 722 до 719, а структура з 372 тематичних груп збереглася. 1
24
28
У матеріалах компанії зазначено, що роботи перебувають на різних етапах перевірки і деякі можуть містити помилки. OpenAI також повідомляла, що під час підготовки публікації консультувалася з Консультативною групою з математики та штучного інтелекту. Це радше підстава розглядати рукописи як матеріал для фахового аналізу, а не як перелік уже підтверджених відкриттів. 1
33
39
Що може перевірити Lean — і чого він не гарантує
До частини результатів додано формалізації в Lean — мові й середовищі для запису математичних доведень, які може перевірити комп’ютер. Водночас доступні огляди рахують такі формалізації по-різному: один оцінює, що їх мають близько 300 із 719 основних результатів, інший — що формалізацію головного результату наведено для 162 із 722 рукописів. Це різні одиниці підрахунку, тож жодну з цифр не варто тлумачити так, ніби незалежно перевірено кожне твердження у відповідних статтях. 25
33
36
Консультації з дорадчою групою та наявність формалізованих доведень дають контекст для оцінювання публікації, але не скасовують потреби перевіряти письмові міркування й межі кожного твердження. Відкликання показало також, чому важливо розглядати пов’язані роботи разом: помилка в спільному аргументі може зачепити одразу кілька рукописів. 24
33
39
Висновок: решту результатів теж треба перевіряти
Відкликання підтверджує, що конкретний аргумент виявився хибним, а дві залежні роботи не могли спиратися на нього. Але воно не доводить, що решта рукописів неправильні — так само як не підтверджує їхню правильність. Кожен результат потрібно оцінювати окремо, уважно перевіряючи доведення, його припущення та зв’язки з іншими роботами. 1
21
35
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 "Один хибний знак — і OpenAI відкликала три математичні рукописи"?
7 жовтня 2026 року OpenAI відкликала три рукописи з оприлюдненої напередодні добірки: помилка +1 замість −1 зруйнувала доведення про класи Вейля та два пов’язані аргументи.
What are the key points to validate first?
7 жовтня 2026 року OpenAI відкликала три рукописи з оприлюдненої напередодні добірки: помилка +1 замість −1 зруйнувала доведення про класи Вейля та два пов’язані аргументи. Після оновлення в каталозі залишилося 719 рукописів у 372 тематичних групах; ще 14 робіт переглянули, а в 13 супровідних статтях оновили посилання.