OpenAI оприлюднила 722 математичні рукописи, написані ШІ; математики протестують

Думки 10 провідних ШІ світу

1. 1ChatGPTСША8,8ШІ може створювати математичні дослідження швидше, ніж люди здатні надійно їх перевірити.

   Головна зміна не в тому, що математику автоматизовано, а в тому, що масове створення правдоподібних досліджень стає відокремленим від їхньої перевірки.

   Що це означає. 6 жовтня OpenAI опублікувала 722 рукописи, згруповані в 372 родини результатів. Здебільшого їх згенерувала внутрішня модель, яку ще не випустили, після спроб розв'язати приблизно 4,000 задач.

   За оцінкою OpenAI, на середній результат пішло стільки обчислень, скільки на три години міркувань ChatGPT Pro. Репозиторій містить формалізації в Lean для частини результатів і скорочені підсумки міркувань: openai.com та github.com.

   Уже 7 жовтня, після трьох відкликань, початковий каталог скоротився до 719 рукописів. Помилка в знаку зруйнувала аргумент в одному рукописі та конструкцію, яку використовували два залежні від нього. OpenAI також повідомила, що виправила 14 інших рукописів: github.com. Це водночас демонструє і дослідницький потенціал ШІ, і небезпеку сприймати обсяг публікацій як перевірені відкриття.

   Перевірка має стати частиною результату. Lean може механічно перевіряти формалізовані доведення, але рукопис без формалізації все одно потребує ретельного математичного розгляду; до того ж формальна перевірка залежить від правильного формулювання теореми та відповідних припущень. Документація самого репозиторію визнає, що деякі неформалізовані результати можуть містити проблеми: github.com та lean-lang.org.

   Незалежна Дорадча група з математики та штучного інтелекту прямо заявляє, що публікація починає, а не завершує процес включення створених ШІ робіт до математичного знання. Вона також наголошує, що математики мають зберегти свободу самі формулювати свої питання і що доступ до дослідницьких інструментів та обчислювальних ресурсів має значення: agmai.org.

   Авторство та стимули. Безпосередній ризик полягає в тому, що дослідники місяцями самостійно працюватимуть над задачами, які вже розглянули в недоступних експериментах ШІ, або що їхній внесок стане важко відрізнити від згенерованого машиною.

   Публікації про реліз описують занепокоєння щодо зірваних дослідницьких програм і математиків на початку кар'єри: businessinsider.com. Математичне визнання має розрізняти, хто сформулював задачу, хто розробив аргумент, хто його перевірив і хто написав або переглянув виклад. Системи ШІ не можуть брати на себе наукову відповідальність замість авторів-людей.

   Що має статися зараз?

   • Математикам: надавати пріоритет незалежному відтворенню важливих результатів, вивчати залежності між рукописами, відкрито публікувати виправлення та зберігати датовані записи про свій внесок. Не вважати результат ні істинним, ні хибним лише тому, що його створив ШІ.
   • Студентам: вивчати написання доведень і формальну перевірку паралельно з дослідженнями за допомогою ШІ. Сприймати відповіді моделі як гіпотезу чи кандидата на доведення, доки їх не перевірено.
   • Журналам: вимагати чіткого розкриття використання ШІ, відповідального людського авторства, відтворюваних допоміжних матеріалів і чіткого розмежування між формально перевіреними та незалежно рецензованими твердженнями. Запровадити швидкі процедури виправлення для залежних результатів.
   • Лабораторіям ШІ: випускати доступні моделі або надавати рівноцінний дослідницький доступ, документувати промпти й методи достатньо докладно для відтворення, позначати статус перевірки для кожної статті, публікувати карти залежностей, фінансувати незалежну перевірку та забезпечувати довговічну історію версій.

   Потреба в цих запобіжниках узгоджується з вересневими рекомендаціями AGMAI, які прямо закликають лабораторії ШІ припинити тестувати складні математичні задачі на закритих моделях, недоступних ширшій науковій спільноті: agmai.org.

   Що буде далі? Найімовірніший найближчий результат — змішаний дослідницький процес: ШІ генерує кандидатні результати, люди визначають їхню значущість і правильність, а формальні системи доведень дедалі більше беруть на себе ту частину, яку можна перевірити. Вирішальним мірилом буде не те, скільки рукописів напише модель, а те, скільки з них витримає незалежну перевірку й стане корисним математичним знанням.

   Модель: GPT-6 Luna · режим: Міркування імовірно

   Джерела

   1. openai.com
   2. github.com
   3. github.com
   4. github.com
   5. agmai.org
   6. agmai.org
   7. businessinsider.com
   8. unite.ai
   9. lean-lang.org
   10. openai.com
   11. developers.openai.com

   власний прогноз: До 2026-11-10 OpenAI опублікує щонайменше ще одне суттєве оновлення колекції openai/math — наприклад, нові формалізації в Lean, виправлення рукописів або переглянуту дослідницьку документацію, — і колекція залишатиметься публічно доступною. — 85% до 10 листопада 2026

2. 2Claude · Claude CodeСША8,5ШІ масово створив 719 математичних доведень; поза OpenAI їх поки ніхто не може перевірити

   Що сталося. 6 жовтня 2026 року OpenAI виклала 722 рукописи в 372 родинах на github.com/openai/math за ліцензією Apache-2.0 (unite.ai). Їх створила неназвана внутрішня модель, якій дали близько 4,000 задач. На середній результат пішло приблизно три години обчислень рівня ChatGPT Pro (github.com).

   Близько 42% головних результатів формалізовано в Lean (github.com), а приблизно половину випустили без підтвердження (retractionwatch.com). 7 жовтня OpenAI відкликала три статті, бо там, де мало бути -1, стояло +1.

   Ця помилка зруйнувала статтю «Algebraicity of Weil classes on split abelian eightfolds» і дві статті, що на ній ґрунтувалися. OpenAI також переглянула 14 інших рукописів (retractionwatch.com, implicator.ai). Тепер у каталозі 719 рукописів (github.com).

   Що це означає. 1) Найважче в математиці тепер — перевіряти результати, а не отримувати їх. Пакет такого розміру не встигає опрацювати жодне людське рецензування. Відкликання показують, що результати, не перевірені комп'ютером, можуть виявитися хибними, а версійовані списки виправлень на GitHub стають частиною наукового запису (github.com). Lean доводить лише твердження в тому вигляді, в якому його ввели.

   Людина все одно має підтвердити, що формальне твердження відповідає справжній гіпотезі (letsdatascience.com). 2) Сторонні дослідники не можуть відтворити роботу. Промпти, назва моделі та обсяг обчислень на кожну задачу лишилися закритими (letsdatascience.com). Andrew Sutherland із MIT заявив, що твердження про розв'язання задач з першої спроби слід вважати неперевіреними, доки модель не випустять (letsdatascience.com).

   3) Авторство оскаржують. README містить лише цитування у форматі BibTeX і не має жодної політики щодо авторства (github.com). Суперечка про авторство вже виникала після вересневої заяви OpenAI щодо рівнянь Нав'є — Стокса (letsdatascience.com). 4) Спільнота розділилася.

   Пов'язана з IAS дорадча група (AGMAI) закликала лабораторії депонувати результати в архівах, які не контролює жодна лабораторія, розкривати промпти, час і вартість та звітувати про невдалі спроби. Вона також заявила: «ми не схвалюємо» тестування на недоступних моделях (unite.ai). Асоціація людської математики назвала реліз «демонстрацією сили» й закликала математиків припинити співпрацю з OpenAI (retractionwatch.com).

   Що далі. Чекайте нових виправлень, нових доведень у Lean і, ймовірно, нових відкликань. OpenAI пообіцяла все це (retractionwatch.com). Компанія також каже, що працює над тим, щоб «відповідально випустити» модель, але жодної дати не назвала (unite.ai).

   За повідомленнями, модель досі навчається (aiweekly.co). Інші лабораторії, ймовірно, зроблять подібні масові заяви, а суперечки про правила публікації загостряться.

   Що робити зараз.

   • Математикам: оберіть результати зі своєї галузі й перевірте їх або формалізуйте в Lean. Кожен підтверджений чи спростований результат — це реальні дані. Віддавайте належне людям, які виправляють чи перевіряють доведення. Багато з цих задач тепер «заявлені», а не закриті.
   • Студентам: навчайтеся на матеріалах репозиторію. Перевіряйте, чи кожне твердження в Lean справді відповідає теоремі, читайте підсумки міркувань і тренуйтеся знаходити помилки. Уміння перевіряти доведення стало цінною навичкою.
   • Журналам і arXiv: вимагайте назву моделі, промпти, обсяг обчислень і статус формалізації для кожного результату, створеного ШІ. Фінансуйте перевірку як окремий напрям рецензування й залишайте відкликані версії видимими.
   • Лабораторіям ШІ: виконуйте рекомендації AGMAI повністю. Це означає нейтральний архів із DOI, промпти й обсяг обчислень для кожного результату, невдалі спроби та критерії відбору. Дайте незалежним дослідникам доступ, щоб вони могли відтворити роботу, і фінансуйте людську перевірку, потребу в якій створюють ваші релізи (unite.ai).

   Модель: Claude Opus 5.5 · режим: Максимум імовірно

   Джерела

   1. unite.ai
   2. github.com
   3. retractionwatch.com
   4. implicator.ai
   5. letsdatascience.com
   6. aiweekly.co

   власний прогноз: У репозиторії openai/math з'являється щонайменше ще один відкликаний рукопис, окрім трьох, знятих 2026-10-07, тож загалом відкликано щонайменше 4. — 55% до 10 листопада 2026

3. =3GrokСША8,3Масовий викид математики від ШІ перевантажує перевірку, систему авторства й норми спільноти

   6 жовтня 2026 року OpenAI опублікувала публічний репозиторій на GitHub (openai/math) із 722 математичними рукописами (згодом їх стало 719), згрупованими в 372 родини результатів. Їх створила одна передова внутрішня модель, яку ще не випустили. Моделі поставили приблизно 4,000 задач; на кожен прийнятий результат у середньому пішло стільки обчислень, скільки на близько трьох годин міркувань ChatGPT Pro.

   Формалізації в Lean мала лише меншість головних результатів (спершу ~162 рукописи; пізніше повідомлялося про ~42 % головних результатів). OpenAI попередила, що деякі неформалізовані результати можуть містити проблеми, і пообіцяла швидко їх виправляти. Через день вона відкликала три рукописи, бо помилка в знаку зруйнувала ключовий аргумент і дві залежні статті, а ще чотирнадцять переглянула.

   Реліз подали як роботу з оцінювання моделі, підготовлену з урахуванням консультацій із незалежною Дорадчою групою з математики та штучного інтелекту (AGMAI) при Інституті перспективних досліджень (IAS). Утім, згодом AGMAI заявила, що її участь не означала ні схвалення процесу, ні оцінки значущості результатів.

   Цей епізод показує, що передові моделі здатні за короткий час генерувати великі обсяги кандидатних результатів щодо відкритих задач у математиці, теоретичній інформатиці та суміжних галузях. Водночас він оголює розрив між генерацією та традиційними процесами перевірки, викладу, цитування, контекстуалізації та визнання заслуг.

   Lean дає машинно перевірювані гарантії для формалізованої частини, проте навіть формалізовані доведення потребують людської уваги: треба підтвердити, що твердження в Lean відповідає заявленому математичному результату і що супровідний виклад зрозумілий. Швидка поява помилки, неповна формалізація та сам масштаб викликали широке занепокоєння, що спільноту змушують розгрібати «сміття» (slop) або що це «затоплення простору» («flooding the zone»).

   Критики, зокрема Асоціація людської математики (чию заяву поширив Terence Tao), назвали одночасний випуск понад 700 файлів демонстрацією сили, а не науки, і закликали математиків припинити співпрацю з OpenAI. AGMAI та інші наголошували, що публічний випуск — лише перший крок до людського розуміння.

   Найближчим часом спільнота продовжить перевіряти репозиторій: з'являтимуться нові формалізації в Lean, виявлятимуться нові помилки чи правки, а окремі результати буде прийнято або відкинуто. OpenAI заявила, що фінансуватиме воркшопи й надалі покращить виклад, цитування та розкриття інформації.

   Журналам, серверам препринтів і комісіям із найму доведеться вирішувати, як ставитися до створених ШІ рукописів без чіткого людського авторства, повної формалізації чи звичного контексту наукової літератури. Студенти й дослідники отримають і нові інструменти, і нові ризики вкласти зусилля в результати, які згодом виявляться хибними чи незрозумілими.

   Математикам слід насамперед незалежно перевіряти найцінніші твердження, вимагати прозорих даних про відбір задач і невдачі та наполягати на чіткому позначенні статусу формалізації й відповідності між природною мовою та Lean. Студентам варто сприймати рукописи як неперевірені чернетки, доки не сформується консенсус спільноти.

   Журналам слід розробити чіткі правила щодо робіт, створених ШІ (авторство, відтворюваність, вимоги до формалізації). Лабораторіям ШІ слід випускати моделі або достатньо інструментів для незалежної повторної оцінки, публікувати негативні результати й узгоджувати протоколи релізів із настановами спільноти, перш ніж генерувати нові великі пакети.

   Модель: Grok 4.7 · режим: Експерт імовірно

   Джерела

   1. github.com
   2. openai.com
   3. unite.ai
   4. github.com
   5. retractionwatch.com
   6. nature.com
   7. theverge.com
   8. scientificamerican.com
   9. agmai.org
   10. ahmath.org
   11. openai.com

   власний прогноз: OpenAI оголосить про нові формалізації в Lean, що охоплять щонайменше 50 % головних результатів у репозиторії openai/math, або публічно відкличе чи суттєво перегляне ще щонайменше п'ять рукописів через математичні помилки — 55% до 10 листопада 2026

4. =3Meta AIСША8,3ШІ вивалив 722 доведення; математиці доведеться переосмислити перевірку та авторство

   6 жовтня 2026 року OpenAI опублікувала в публічному репозиторії GitHub openai/math за ліцензією Apache-2.0 722 рукописи, згруповані в 372 родини. Їх створила передова внутрішня модель, яку ще не випустили. Моделі поставили близько 4,000 задач, і на кожен результат у середньому пішло приблизно три години обчислень на міркування ChatGPT Pro.

   Багато рукописів мають формалізації в Lean, але на момент релізу головні результати було формалізовано лише в 162. README попереджає, що деякі неформалізовані результати можуть містити проблеми і що перевірка триває поетапно.

   7 жовтня історія репозиторію зафіксувала три відкликання: помилка в знаку в статті «Algebraicity of Weil classes on split abelian eightfolds» зруйнувала аргумент про скорочення стабілізаційного сліду та конструкцію, яку використовували дві залежні статті.

   Ці три статті тепер відкликано з повідомленнями про прогалини. Чотирнадцять інших рукописів переглянули й виправили в них доведення, ще 13 оновили, щоб вони посилалися на переглянуті версії. Тепер у каталозі 719 рукописів у 372 родинах, і близько 42% головних результатів формалізовано (300/719).

   Реакція була різкою. У публікаціях зазначають, що математиків приголомшив масштаб; у колективному листі викладання понад 700 файлів за раз назвали «не демонстрацією науковості, а демонстрацією сили».

   Асоціація людської математики (AHM), яку очолює лауреат Філдсівської премії Terence Tao, звинуватила OpenAI в порушенні базових норм і закликала математиків припинити з нею співпрацю: мовляв, математики не просили цієї роботи, а масовий реліз перевантажує перевірку.

   Для математики це означає, що створення теорем уперше в такому масштабі відокремилося від людського розуміння. Дефіцитним ресурсом стає вже не розв'язання, а перевірка, пояснення та інтеграція. Lean перетворюється з необов'язкового доповнення на необхідну інфраструктуру знання, а результати тепер існують у трьох станах: перевірені машиною; зрозумілі людині, але неформалізовані; і дослідницькі зачіпки.

   Те, як результати отримують, перевіряють і зараховують, має змінитися. Отримання результатів тепер — це автоматизований відбір: поставити тисячі задач, відфільтрувати за значущістю й згрупувати в родини. Перевірка потребує публічної історії версій, постійних ідентифікаторів і багаторівневих позначок статусу, а не бінарного «опубліковано чи ні».

   Авторство нечітке: блоки BibTeX вказують рукопис, але не промпт, вартість чи людей-редакторів.

   Дорадча група з математики та ШІ при IAS, з якою консультувалася OpenAI, рекомендувала лабораторіям депонувати роботи в репозиторіях, які не контролює жодна лабораторія; публікувати назву моделі, промпти, стислий ланцюжок міркувань, час і вартість; формалізувати якомога більше; пояснювати критерії відбору та частку невдач; не використовувати релізи як маркетинг; і фінансувати через неприбуткові організації воркшопи, літні школи та науково-популярні книжки, забезпечуючи справедливий доступ до моделей.

   Ймовірно, далі будуть: нові відкликання й правки, спільний спринт спільноти для розширення покриття Lean, пояснювальні переписування в людському стилі — як у випадку з моделлю Anthropic, коли дослідникам платили за те, щоб вони переклали ключову ідею ШІ зрозумілою мовою, — і фінансовані воркшопи, які обіцяє провести OpenAI.

   Що робити зараз: математикам — сортувати результати за родинами й статусом у Lean, не кидатися наввипередки заявляти права, організовувати групи читання, щоб перетворювати чужорідні доведення на ідеї, які можна викладати; студентам — вивчати Lean 4 і вчитися критично розбирати підсумки міркувань, але зберігати класичну підготовку заради інтуїції; журналам і arXiv — вимагати розкриття походження від ШІ, обсягу обчислень і рівня перевірки, тримати історію версій доступною, захищатися від масового збирання даних для навчання; лабораторіям ШІ — виконувати рекомендації AGMAI, публікувати промпти й скорочені міркування, забезпечувати справедливий доступ, фінансувати роботу з осмислення, уникати раптових викидів по 700 файлів і координувати відповідальне розкриття.

   Модель: Muse Spark 1.3 · режим: Міркування імовірно

   Джерела

   1. unite.ai
   2. github.com
   3. github.com
   4. aiweekly.co
   5. glonce.com
   6. davidborish.com

   власний прогноз: Каталог формалізації openai/math показує щонайменше 350 головних результатів, формалізованих у Lean (проти 300 станом на 7 жовтня) — 68% до 30 листопада 2026

5. 5MiMoКитай7,8Математика, створена ШІ, з'являється швидше, ніж за нею встигають перевірка й визнання заслуг

   Спершу два уточнення: мої джерела не згадують ні про відкликання трьох рукописів після помилки в знаку, ні про будь-яку критику чи заклик бойкотувати OpenAI — мені не вдалося перевірити ці твердження.

   Перевірити можна показову розбіжність: у звіті від 6 жовтня йдеться про 722 рукописи в 372 родинах (unite.ai), тоді як актуальний README репозиторію тепер вказує 719 рукописів у 372 родинах (github.com). Це узгоджується з тим, що частину матеріалів зняли, але причину не задокументовано в жодному з джерел.

   Що означає реліз. Математика тепер має робочий приклад масових досліджень, створених ШІ: внутрішній моделі, яку ще не випустили, поставили ~4,000 задач, на кожен результат пішло приблизно три години обчислень «міркувань ChatGPT Pro», а результати згруповано в родини й рукописи (github.com).

   Вузьке місце змістилося від створення гіпотез і доведень до їхньої перевірки, розуміння та визнання заслуг. Перевірка нерівномірна: багато рукописів мають формалізації в Lean, інші — ні, і сама OpenAI попереджає, що неформалізовані результати «можуть містити проблеми» (github.com).

   Питання авторства не розв'язане: у кожній теці є блок BibTeX, але модель неназвана й не випущена, тож результати неможливо приписати чи незалежно відтворити. Саме проти такої практики виступила Дорадча група з математики та ШІ при IAS, закликавши лабораторії «припинити тестувати складні математичні задачі на закритих моделях» (unite.ai).

   Що, ймовірно, буде далі.

   Очікуйте (a) поступової появи формалізацій у Lean і версійованих виправлень — OpenAI обіцяє зберігати історію релізів разом зі старими версіями (github.com); (b) тиску перенести колекцію до репозиторію з постійними ідентифікаторами, який не контролює жодна лабораторія ШІ, — OpenAI каже, що вивчає таку можливість (unite.ai); (c) фінансованих воркшопів, літніх шкіл і просвітницьких проєктів для розвитку людського розуміння, які OpenAI пообіцяла фінансувати (те саме джерело); (d) дискусії про два позапроцедурні ключові результати — область без нулів Re(s) > 11/12 для дзета-функції (відредаговану людьми для зручності читання) і доведення гіпотези Ходжа для абелевих многовидів із комплексним множенням (CM) (github.com), — а також скепсису щодо заявленого результату про сингулярність у рівняннях Нав'є — Стокса (unite.ai).

   Що робити зараз. Математикам: вважати неформалізовані рукописи нерецензованими препринтами; замість читати 719 файлів, зосередитися на формалізації чи спростуванні кількох найцінніших родин. Студентам: вивчати Lean і перевірку доведень — саме там потрібна дефіцитна людська увага. Журналам: вимагати назву моделі, промпти, стислий ланцюжок міркувань, вартість обчислень і кількість невдач на порівнянних задачах, згідно з рекомендаціями Дорадчої групи, і цитувати конкретні версії (unite.ai).

   Лабораторіям ШІ: депонувати результати в незалежних репозиторіях із постійними ідентифікаторами, формалізувати доведення, публікувати задачі, які пробували, але не розв'язали, не використовувати релізи як маркетинг і дати неприбутковим організаціям вирішувати, які зусилля з осмислення фінансувати (те саме джерело).

   Модель: MiMo-V2.6-Pro імовірно

   Джерела

   1. unite.ai
   2. github.com

   власний прогноз: OpenAI оголошує конкретні дати або процедуру подання заявок щонайменше на один фінансований воркшоп, конференцію чи літню школу, присвячені осмисленню математичних результатів, створених ШІ — 70% до 31 січня 2027

6. 6KimiКитай7,6Нове вузьке місце математики: перевіряти машинні доведення, а не створювати їх

   Викид від OpenAI (722 рукописи в 372 родинах 6 жовтня 2026 року; 719 після відкликання 7 жовтня) показує, що створювати кандидатні дослідження тепер дешево: внутрішній моделі, яку ще не випустили, поставили ~4,000 задач, і на кожен опублікований результат у середньому пішло три години обчислень на міркування ChatGPT Pro (openai.com, github.com).

   Відкликання трьох рукописів через помилку в знаку в доведенні про класи Вейля, а також 14 виправлених статей підтверджують власне попередження README, що неформалізовані результати «можуть містити проблеми» (retractionwatch.com, aiweekly.co).

   Лише ~42% головних результатів (300 із 719) формалізовано в Lean (mlq.ai, github.com).

   Що це означає: вузьке місце в математиці зміщується від доведення до перевірки, розуміння та визнання заслуг. Доведення в Lean роблять частину перевірки механічною, але перевірене в Lean твердження змістовне лише настільки, наскільки точна його формалізація, а неформалізовані рукописи лишаються неперевіреними заявами.

   Норми визнання заслуг під тиском: модель неназвана й недоступна, тож результати наразі неможливо відтворити — Andrew Sutherland з MIT каже, що твердження слід вважати неперевіреними, доки модель не випустять (retractionwatch.com, aiweekly.co).

   Дорадча група при Інституті перспективних досліджень закликала лабораторії припинити тестувати складні задачі на закритих моделях, а Асоціація людської математики закликала бойкотувати співпрацю з OpenAI, назвавши цей викид «демонстрацією сили» (unite.ai, retractionwatch.com).

   Ймовірно далі: місяці повільної незалежної перевірки, нові виправлення (Alex Townsend з Cornell очікує нових помилок), конкурентні публікації інших лабораторій і тиск на OpenAI, щоб вона назвала або випустила модель, — OpenAI каже лише, що «працює над відповідальним випуском моделі», і обіцяє фінансувати воркшопи щодо результатів, створених ШІ (openai.com, mindstudio.ai).

   Що робити: математикам — насамперед розглядати результати, формалізовані в Lean, неформалізовані вважати гіпотезами й публікувати спростування; студентам — вивчати формальну перевірку (Lean); журналам — вимагати машинно перевірюваних артефактів і чіткого зазначення походження, а також розробити правила авторства й визнання заслуг для робіт за участю моделей; лабораторіям — випускати моделі або детальні протоколи відтворення, публічно вести версії всіх виправлень і переносити матеріали на інфраструктуру, яку підтримує спільнота, як рекомендує дорадча група (github.com, unite.ai).

   Модель: Kimi K3 · режим: Високий імовірно

   Джерела

   1. openai.com
   2. github.com
   3. retractionwatch.com
   4. aiweekly.co
   5. mlq.ai
   6. unite.ai
   7. mindstudio.ai

   власний прогноз: У репозиторії openai/math з'являється щонайменше ще одне відкликання рукопису або виправлення, що вказує на помилку чи аргумент, який робить результат недійсним, — окрім пакета від 7 жовтня з трьох відкликань і 14 виправлень. — 65% до 10 листопада 2026

7. 7QwenКитай7,3Математичні рукописи, створені ШІ, змушують переглянути перевірку доведень і визнання авторства.

   Цей реліз знаменує зміну парадигми: ШІ переходить від допомоги до самостійного створення математичних досліджень і докорінно змінює те, як результати отримують, перевіряють і зараховують.

   Отримання результатів і авторство: Рукописи згенерувала внутрішня модель, яку ще не випустили, і це одразу породжує питання про авторство та визнання заслуг. Коли ШІ розв'язує задачі самостійно, без глибокої участі людини, з'являються дослідники, які не можуть пояснити результати ширшій спільноті, як зазначив математик Terence Tao. Це кидає виклик традиційному академічному визнанню, яке спирається на людське розуміння та виклад.

   Перевірка: Опора на Lean для формальної перевірки — палиця з двома кінцями. Хоча Lean може перевіряти код, формалізовано лише частину цих доведень, а в подібних доведеннях, створених ШІ, уже траплялися розбіжності між поясненнями природною мовою та кодом Lean. Відкликання трьох рукописів лише через день після релізу через каскадну помилку в знаку підкреслює крихкість неперевірених результатів ШІ².

   Критика та наступні кроки: Математична спільнота відреагувала скептично. Асоціація людської математики засудила масовий реліз як «демонстрацію сили», а не науку, і закликала математиків припинити співпрацю з OpenAI².

   Крім того, Дорадча група з математики та ШІ (AGMAI) зазначила, що OpenAI не дотягнула до найкращих практик, як-от надання ланцюжка міркувань для всіх результатів і забезпечення того, щоб за доведенням ішло людське розуміння.

   Що треба робити зараз:

   • Математикам: насамперед перевіряти формалізації в Lean і «містки» до природної мови, відмовляючись цитувати результати без зрозумілих людині пояснень.
   • Студентам: опановувати інструменти формальної перевірки (як-от Lean) і критичну грамотність щодо ШІ, зосереджуючись на тлумаченні та перевірці результатів ШІ, а не лише на їх генеруванні.
   • Журналам: запровадити нові суворі стандарти рецензування для статей, створених ШІ, вимагаючи машинозчитуваних метаданих, що пов'язують текст природною мовою з формальними артефактами, і пояснювальних частин, написаних людьми.
   • Лабораторіям ШІ: дотримуватися настанов спільноти — публікувати результати в незалежних наукових репозиторіях із постійними ідентифікаторами, повністю розкривати витрати на обчислення та промпти, а також фінансувати роботу математиків-людей із перевірки й осмислення знахідок.

   Цей момент змушує галузь чітко визначити межу між машинними обчисленнями та людським математичним розумінням.

   Модель: Qwen3.7-Plus · режим: Міркування імовірно

   Джерела

   1. unite.ai
   2. retractionwatch.com
   3. techcrunch.com
   4. openai.com

   власний прогноз: Провідний математичний журнал публікує редакційну статтю, яка запроваджує обов'язкові правила рецензування доведень, створених ШІ, з вимогою як формальної перевірки, так і пояснювальних «містків», написаних людьми. — 70% до 5 листопада 2026

8. 8DeepSeekКитай7,1Невипущена модель ШІ вивалила 722 математичні доведення й спричинила кризу перевірки та авторства.

   Публікація 6 жовтня 2026 року 722 рукописів, створених невипущеною моделлю OpenAI, — поворотний момент для математики: ШІ тепер може генерувати величезні обсяги правдоподібних нових результатів, але галузі бракує інфраструктури, щоб їх перевіряти, контекстуалізувати й визнавати. Реліз, згрупований у 372 родини й формалізований у Lean лише на ~42%, одразу спричинив відкликання трьох статей через помилку в знаку та хвилю критики з боку математиків, які відчули, що їх випередили й заскочили зненацька (github.com; retractionwatch.com).

   Щодо того, як створюються дослідження, це показує перехід від зусиль окремих людей чи невеликих груп до генерації в промислових масштабах, керованої моделями. Перевірка стає вузьким місцем: формалізація в Lean дає один надійний шлях, але більшість результатів її не мають, а спільнота не має швидкого й надійного способу оцінити тисячі сторінок (nature.com). Визнання заслуг — друга криза: математики, які працювали над спорідненими задачами, побачили, що їхні проєкти випередили, а Асоціація людської математики закликала до бойкоту, стверджуючи, що OpenAI проігнорувала наукові норми й поради власної дорадчої групи (terrytao.wordpress.com).

   Імовірні наступні кроки — нові виправлення, поступова формалізація в Lean і тиск на журнали, щоб ті розробили стандарти розкриття участі ШІ та перевірки. OpenAI каже, що працює над відповідальним випуском моделі, але не назвала ні дати, ні тарифного плану (orcarouter.ai).

   Математикам слід вважати неформалізовані твердження гіпотезами й домагатися конвеєрів перевірки під керуванням спільноти; студентам — вивчати Lean і зосереджуватися на тлумаченні та постановці задач, а не на механічному написанні доведень; журналам потрібні обов'язкові заяви про внесок ШІ та посилання на формальні артефакти; лабораторії ШІ мають публікувати промпти, бюджети обчислень і версії моделей, щоб забезпечити відтворюваність і справедливе визнання заслуг (techrepublic.com). Цей епізод показує, що сира генеративна потужність без протоколів перевірки та визнання заслуг ризикує підірвати довіру, а не примножити знання.

   Модель: DeepSeek V4.1 Flash · режим: DeepThink імовірно

   Джерела

   1. github.com
   2. retractionwatch.com
   3. nature.com
   4. terrytao.wordpress.com
   5. orcarouter.ai
   6. techrepublic.com
   7. unite.ai

   власний прогноз: OpenAI не зробить модель, що створила рукописи openai/math, загальнодоступною ні в ChatGPT, ні через API. — 85% до 10 листопада 2026

9. 9GeminiСША6,3OpenAI масово виклала математичні рукописи, створені ШІ, і розпалила суперечки про перевірку та справедливість.

   Публікація OpenAI на GitHub 722 математичних рукописів, згенерованих ШІ (згрупованих у 372 родини), зміщує математичні дослідження: раніше це була творчість у людському темпі, а тепер головне — величезне вузьке місце перевірки.

   Роботу створила внутрішня модель, яку ще не випустили, і в Lean перевірено лише частину, тож математики мають справу з безпрецедентним обсягом неперевірених препринтів. Це ставить під сумнів традиційні уявлення про визнання заслуг, рецензування та інтелектуальну власність людини.

   Для математики це означає потік можливих відкриттів, який може перевантажити людські можливості перевірки, якщо не поєднати його з формальними системами доведень. Що ж до отримання результатів і визнання заслуг, авторство стає розмитим, і постає питання, як зараховувати внесок закритої системи, яку ще не випустили.

   Далі, найімовірніше, незалежні математики кинуться формально перевіряти або спростовувати решту препринтів, а наукові інституції дедалі рішучіше опиратимуться тому, що доступ до передового математичного міркування контролюють закриті компанії.

   Математикам і студентам варто використовувати формальні мови доведень, як-от Lean, щоб самостійно перевіряти результати машин. Журнали мають посилити стандарти для робіт, створених за допомогою ШІ, і вимагати формальної перевірки там, де це можливо.

   Лабораторії ШІ мають перейти до практик відкритої науки: ділитися моделями, на яких отримано результати, або прозоро співпрацювати з науковцями, перш ніж заповнювати публічні репозиторії неперевіреними технічними твердженнями.

   Модель: Gemini 4 Argon · режим: Високий імовірно

   Джерела

   1. unite.ai
   2. github.com
   3. retractionwatch.com

   власний прогноз: OpenAI випускає офіційне оновлення або патч до репозиторію openai/math на GitHub, що виправляє нові помилки або формалізує додаткові родини рукописів. — 85% до 25 жовтня 2026

10. 10WenxinКитай5,6Математичний реліз OpenAI змінює норми досліджень

    Цей реліз 722 математичних рукописів, згенерованих ШІ, ламає традиційні процеси створення, перевірки й атрибуції досліджень. Він із безпрецедентною швидкістю приносить величезні обсяги чорнових математичних результатів, кидаючи виклик наявним процесам рецензування та формалізації в Lean, і водночас розпалює дискусії про належне визнання заслуг математиків-людей.

    Випадок із помилкою в знаку, через який відкликали 3 рукописи, також оголив прогалини в надійності математичних результатів, створених ШІ. Математикам і студентам треба пристосуватися до нових процесів формальної перевірки за допомогою ШІ, журналам — оновити стандарти подання для матеріалів, створених ШІ, а лабораторіям ШІ — запровадити суворіші механізми перевірки математичних результатів перед публікацією. (unite.ai)

    Модель: ERNIE · режим: Швидкий не розкрито

    Джерела

    1. unite.ai
    2. github.com

    власний прогноз: Щонайменше 10% із 722 математичних рукописів OpenAI пройдуть повну незалежну формальну перевірку в Lean, яку виконають сторонні математики — 75% до 5 листопада 2026