Версия Markdown

AI-translated from English; not yet reviewed by a fluent editor.

# Исследованиям ИИ нужны дополнительные возможности для проверки открытий

> Публикация OpenAI по математике показывает, почему исследования, созданные ИИ, требуют независимой проверки, объяснения и воспроизведения. Применение в промышленности может проверить практическую ценность в своей области.

By BIG CHANGE Editorial

Published: 2026-10-08T10:05:26.007Z
Updated: 2026-10-08T22:12:35.469Z
Canonical: https://bigchange.ai/blog/ai-research-discovery-review-capacity

![Illustrative charcoal scene of a cart stacked with unmarked manuscript folios beside one open folio on a reading lectern.](https://bigchange.ai/api/media/file/ai-science-review-capacity-hero-v2.png)
AI-generated conceptual editorial illustration by BIG CHANGE. Candidate manuscripts and examination are illustrative; no real repository, review outcome or proof check is depicted.

6 октября OpenAI опубликовала большой набор математических работ, созданных ИИ. В него вошли рукописи, обзор заявленных результатов и файлы формальных доказательств для некоторых из них. [В сообщении OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/) сказано, что результаты создала внутренняя модель, а компания планирует семинары для помощи математикам. Публикация ставит перед ними задачу: определить, каким результатам можно доверять и какие использовать.

ИИ может создавать возможные результаты исследований быстрее, чем научное сообщество успевает их осмысливать. Публикация иллюстрирует риск, но не измеряет всю исследовательскую систему. Учреждениям следует считать проверку, объяснение и независимое изучение полноценной исследовательской работой и выделять на неё людей и средства. Длинный список результатов не выполнит эту работу за нас.

## Главное изменение

- **Что изменилось:** Компания может одновременно представить сообществу сотни математических рукописей, созданных ИИ. Документы доступны для изучения, но каждое утверждение нужно оценивать отдельно.
- **Почему это важно:** Исследователи должны проверять предпосылки утверждения, доказательство и связь с прежними работами. Если число результатов растёт быстрее возможностей проверки, важные исправления или идеи могут затеряться.
- **За чем следить:** Решения теперь касаются поддержки независимой проверки и объяснения, а также публикации. OpenAI обещала семинары; независимая консультативная группа рекомендует финансирование под руководством сообщества и ясное указание происхождения.

## Что количество рукописей требует от рецензентов

В [отдельном изучении закреплённого снимка репозитория от 6 октября](https://github.com/openai/math/blob/main/overview.tex) BIG CHANGE насчитала 722 рукописи в 372 группах результатов. В группе могут быть связанные статьи. Это файлы одной версии подборки, а не 722 независимо подтверждённых открытия. Предыдущая статья объясняет путь от рукописи к формальному утверждению и настройкам проверки. Как обеспечить квалифицированных читателей при растущем потоке утверждений? [Формализация помогает проверить, доказывает ли точно закодированное утверждение предложенное доказательство при заданных определениях, зависимостях и аксиомах. Но нужно оценить соответствие утверждения замыслу авторов, уместность предположений и связь с прежними работами. Некоторые статьи не формализованы; Lean-файл для одного утверждения не рецензирует всю рукопись.](https://github.com/openai/math/blob/main/preprints/Every-four-dimensional-Kakeya-set-has-full-Hausdorff-dimension-September-24-2026/paper.pdf) проверка репозитория

У [одвојеном увиду у фиксирани снимак репозиторијума од 6. октобра](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs), BIG CHANGE је пребројао 722 рукописа у 372 породице резултата. Једна породица может да обухвати више сродних радова. Број описује датотеке у једној верзији збирке; не значи да је 722 открића независно потврђено. Тај ранији чланак показује како читалац может да прати рукопис до формалне тврдње и конфигурације за њену проверку. Овде је питање како једна област может да обезбеди довољно квалификованих читалаца за тај посао док низ тврдњи расте.

Формализација может да помогне. Рачунар может да провери да ли предложени доказательство успоставља прецизно кодирани исказ под одређеним дефиницијама, зависностима и аксиомама. Ипак, неко мора да испита да ли се тај исказ поклапа са тврдњом коју читаоци мисле да рад износи, да ли су претпоставке прикладне и како се резултат односи према ранијим радовима. Неки радови у збирци немају формализације; Lean датотека за један исказ не рецензира цео рукопис. [увид у репозиторијум](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) објашњава ова ограничења, али не тврди да је покренут алат за проверку.

Септембарска објава о [Навије–Стоксовим једначинама](https://openai.com/index/navier-stokes-solution/) показује зашто ова разлика има последице шире од пописа репозиторијума. OpenAI је саопштио да је његов интерни систем пронашао конструкцију присилног слома са коначном енергијом которая се односи на алтернативе C и D у [званичној формулацији института Clay](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf), и објавио рад и формализацију у Lean-у. Институт Clay је 11. септембра [саопштио](https://www.claymath.org/news/navier-stokes-announcement/) да је проблем „наизглед“ решен и да ће процена и признавање заслуга бити без журбе. У том одговору Clay није доделио награду. [ранији приказ математичког следа догађаја у BIG CHANGE](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes) пружа технички контекст. Овде је поента у времену између објављеног резултата и промишљене процене.

## Проверу треба финансирати и признати као засебан допринос

Независна саветодавна група [за математику и вештачку интелигенцију](https://agmai.org/) тврди да објављивање започиње рад на људском разумевању. Њене [препоруке од 29. септембра](https://agmai.org/general-sep29/) позивају лабораторије да провере литературу и навођење заслуга, обезбеде читљиве доказательствоательства, информације о употреби модела и неуспелим покушајима, као и формализацију кад је могутћа. Траже и подршку, укључујући финансирање, за рад заједнице на разумевању и примени резултата. У свом [одговору од 6. октобра](https://agmai.org/), група је навела да њену саветодавну улогу не треба сматрати подршком поступку OpenAI нити оценом утицаја резултата.

Ту подршку бих учинио уобичајеним делом финансирања и вредновања исследования. Уз утверждение треба навести њену верзију, допринос вештачке интелигенције, претпоставке, пратеће материјале и начин за пријаву исправки. Независни стручњаци могли би да одреде приоритете према могутћем значају тврдње и последицама грешке. Резултат од которыег зависе други доказательствои захтева другачији напор у провери од ограниченог прорачуна. Објашњења, репликације, неуспеле провере и пажљиве исправке треба да се рачунају као доприноси, чак и када не објављују први резултат.

Ово захтева више од институција, али не полази од претпоставке да су академици увек непријатељски настројени или спори. Математичка рецензија штити признавање заслуга и открива грешке; одговорна уздржаност је важна када ће резултат постати полазиште за даљи рад. Проблем капацитета настаје зато што стварање резултата-кандидата и стицање оправданог поверења у њега захтевају различите врсте рада. Обимна објава может да оптерети пажљиве институције чак и када оне свој посао обављају добро.

## Практична примена может да провери вредност унутар свог домета

Компаније которые развијају производе на основу исследования могут рано да понуде практичне провере. Имплементација может да покаже да идеја помаже у одређеном задатку, а неуспела имплементација может да открије погрешну претпоставку. Таква запажања треба објавити уз методе и ограничења како би их други могли проверити. Сам комерцијални успех не доказательствоательствеје математичку теорему нити општу научну утверждение.

Разлика зависи од дисциплине. У математици функционалан производ не решава доказательство; стручна проверка и, где је прикладно, формална верификација баве се тачном теоремом. У рачунарским наукама другима је потребно довољно кода, података и поставки да понове резултат и провере осетљивост. Биологија и медицина захтевају одвојене фазе доказательствоа, од лабораторијског рада до студија на животињама и људима када је то применљиво. У физици теорија или симулација захтева посматрања или експерименте который испитују предвиђања. Компанија может да допринесе у било којој од тих фаза, али се доказательство из једне фазе не может неприметно унапредити у доказательство за следећу.

Ранији коментар BIG CHANGE о [приватним открићима вештачке интелигенције и јавној науци](https://bigchange.ai/blog/private-ai-discoveries-public-science) разматрао је ко контролише приступ результатам и алатима. Чак и када је објава јавна, остаје институционално питање: имају ли исследователи време, независност и подстицаје да резултате-кандидате претворе у поуздано знање. Одговор треба да се види у финансираној репликацији, јавним објашњењима и признатим исправкама, а не само у следећем броју рукописа.

## Извори и додатна литература

- [Математичка објава OpenAI од 6. октобра](https://openai.com/index/sharing-ai-progress-in-mathematics/) потврђује датум објављивања, порекло у интерном моделу, начин објаве, делимичну формализацију у Lean-у и планиране радионице. То је опис произвођача, а не независна потврда резултата.
- [Преглед репозиторијума OpenAI](https://github.com/openai/math/blob/main/overview.tex) и [рукопис о Какајиним скуповима у четири димензије](https://github.com/openai/math/blob/main/preprints/Every-four-dimensional-Kakeya-set-has-full-Hausdorff-dimension-September-24-2026/paper.pdf) износе конкретну утверждение и представљају предложени аргумент. Ове везе прате грану која се мења `main` ; ниједан извор сам по себи не доказательствоује да је струка прихватила резултат.
- [Препоруке саветодавне групе](https://agmai.org/general-sep29/) предлажу навођење порекла, разумљиво излагање, формализацију и подршку под вођством заједнице. У свом [саопштењу од 6. октобра](https://agmai.org/) група каже да објава започиње, а не завршава процену и да њена саветодавна улога не представља подршку поступку OpenAI нити оцену утицаја резултата. То су ставови групе, а не доказательство о одређеном рукопису.
- [Септембарска објава OpenAI о Навије–Стоксовим једначинама](https://openai.com/index/navier-stokes-solution/) описује утверждение о присилном слому и формализацију. [Званична формулација проблема института Clay](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) дефинише алтернативе, а [одговор института Clay од 11. септембра](https://www.claymath.org/news/navier-stokes-announcement/) износи опрезну процену и поступак вредновања. Ниједан од ових извора не објављује доделу награде.
- BIG CHANGE-а [увид у репозиторијум](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) BIG CHANGE бележи број од 722 рукописа и 372 породице у фиксираном снимку и статичке провере артефаката доказательствоа; алат за проверу није покренут. Наша [хронологија математике](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes) објашњава ранији резултат, док се [наше мишљење о приватним открићима](https://bigchange.ai/blog/private-ai-discoveries-public-science) бави приступом и контролом. Аргумент овог чланка тиче се капацитета за процену и коришћење објављеног рада.

## Sources

- [Дељење напретка вештачке интелигенције у математици](https://openai.com/index/sharing-ai-progress-in-mathematics/) — Потврђује датум објављивања, порекло у интерном моделу, репозиторијум, неке формализације у Lean-у и планиране радионице.
- [Преглед математичког репозиторијума OpenAI](https://github.com/openai/math/blob/main/overview.tex) — Унос резултата 074 наводи тврдњу о Хаусдорфовој димензији Какајиног скупа у четири димензије. То је утверждение за испитивање, а не прихваћен резултат.
- [Сваки Какајин скуп у четири димензије има пуну Хаусдорфову димензију](https://github.com/openai/math/blob/main/preprints/Every-four-dimensional-Kakeya-set-has-full-Hausdorff-dimension-September-24-2026/paper.pdf) — Репозиторијум повезује овај рукопис са уносом 074. Чланак користи преглед за тачно навођење теореме.
- [Одговорно објављивање математике настале уз помоћ вештачке интелигенције](https://agmai.org/general-sep29/) — Подржава предлоге о признавању заслуга, излагању, пореклу, формализацији и финансираној подршци за разумевање у заједници.
- [Саветодавна група за математику и вештачку интелигенцију: саопштење од 6. октобра](https://agmai.org/) — Наводи да објава започиње процену и људско разумевање; изричито одбацује подршку поступку и оцену утицаја.
- [О проблему Миленијумске награде Навије–Стокса](https://openai.com/index/navier-stokes-solution/) — Описује тврдњу о присилном глатком слому са коначном енергијом, алтернативе C и D и објављени рад са формализацијом у Lean-у.
- [Постојање и глаткост Навије–Стоксових једначина](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — На 2. страници дефинише алтернативе C и D уз силу и разликује их од алтернатива о глобалној глаткости без силе.
- [Објава о Навије–Стоксовим једначинама](https://www.claymath.org/news/navier-stokes-announcement/) — Наводи да је проблем наизглед решен и да ће процена и признавање заслуга бити намерно без журбе; награда није објављена.
- [Репозиторијум математике OpenAI: рукописи, верзије и доказательствои Lean](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) — Бележи 722 рукописа и 372 породице у фиксираном снимку и ограничења прегледа артефаката доказательствоа.
- [Математика и вештачка интелигенција: од јединичног растојања до Навије–Стокса](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes) — Контекстуална веза о математичком низу догађаја у септембру; ниједна посебна утверждение овог чланка не зависи од непрегледаног садржаја.
- [Приватна открића вештачке интелигенције и јавна наука](https://bigchange.ai/blog/private-ai-discoveries-public-science) — Наведено ради разликовања њене тезе о приступу и контроли од аргумента овог чланка о капацитету за рецензију.