Нови рад предлаже начин за рангирање објашњења док се докази прикупљају, а списак могућих објашњења расте. Метода под називом Possibility Frontier Search даје предност статистичкој потврди, затим усклађености са позадинским знањем, па једноставности. Такав редослед треба да спречи да привлачно, али неподржано објашњење победи само зато што се уклапа у претходна очекивања.

Овај рад је оквир и алгоритам, а не извештај о систему који је дошао до научног открића. Anita Yang и четворо коаутора објавили су рад као arXiv v1 8. октобра 2026. Он обједињује формалне резултате под наведеним претпоставкама, контролисани синтетички експеримент и истраживачке тестове на два скупа података из стварног света.

Велика промена

  • Шта се променило: Рад предлаже Possibility Frontier Search, који рангира растуће скупове хипотеза према статистичкој потврди, усклађености са позадинским знањем и једноставности.
  • Зашто је важно: За истраживаче који процењују објашњења генерисана помоћу AI-ја, метода раздваја статистичку подршку од уверљивости на основу претходног знања и користи специфичност само као критеријум за разрешење нерешеног резултата. Тако показује где рангирање одражава доказе, а где фиксни позадински модел. Формални резултат је условљен; две студије случаја на скуповима података представљају истраживачке процене које су пријавили аутори.
  • Шта треба пратити: Закључци методе зависе од тога шта њен генератор може да предложи, како се тврдње преводе у проверљиве скупове и колико се добро уклапа фиксни позадински модел. Препринт не пријављује ни спроведено откриће ни независно понављање резултата.

Могућност није вероватноћа

Рад користи теорију могућности да представи стања која нису искључена. Оцена могућности 1 не значи да хипотеза има 100 одсто шансе да буде тачна. То значи да је докази нису искључили. Када су информације слабе, и тврдња и њена супротност могу остати могуће.

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

На изабраном прагу грешке метода одржава простор верзија: скуп стања параметара која акумулирани докази нису искључили. Кандидатске хипотезе означава у односу на тај скуп. Хипотеза је оповргнута ако не садржи ниједно преостало стање. Остаје отворена ако садржи нека, али не сва преостала стања. Потврђена је када простор верзија није празан, свако преостало стање у њему припада хипотези и хипотеза је прави подскуп целокупног простора стања. Тај последњи услов искључује таутолошку тврдњу која обухвата свако могуће стање.

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

Три теста, овим редом

Рангирање је лексикографско, па каснија предност не може да надјача ранију.

  1. Статистичка потврда. Кандидат мора да прође тест доказа. Хипотеза која остаје само отворена не може да надмаши потврђену.
  2. Усклађеност са позадинским знањем. Међу потврђеним кандидатима метода фаворизује онај са највећом гарантованом могућношћу. Оцена је најнижа вредност усклађености са позадинским знањем међу свим стањима која хипотеза допушта. Аутори то тумаче као умањење потребне промене фиксне позадинске контуре да би се тврдња уклопила. То је поређење на нивоу кандидата, а не аутоматска ревизија научног знања.
  3. Једноставност. Ако су кандидати изједначени на тим тестовима, метода даје предност хипотези која представља мање стања. У овој формализацији мање стања значи конкретнију тврдњу.

Редослед је важан. Једноставност не спасава тврдњу која није прошла потврду, а уклапање у претходна очекивања не рачуна се као доказ. Ни оцена позадинског модела не значи да је хипотеза вероватно тачна: она мери усклађеност у оквиру изабраног позадинског модела.

Претрага границе

Possibility Frontier Search наизменично предлаже хипотезе и бира експерименте. Његов генератор предлаже кандидате на основу позадинског знања, акумулираних података, преосталих стања и ранијих кандидата. Метода задржава кандидате који још нису оповргнути.

Затим усмерава експериментални напор на отворене хипотезе које би могле да побољшају тренутни најбољи резултат: кандидата са бољом усклађеношћу са позадинским знањем или једнако усклађеног, али једноставнијег кандидата. За сваку такву хипотезу, „границу“ чине парови преосталих стања на супротним странама њене тврдње. Следећи експеримент се бира тако да што више раздвоји активни пар који је најтеже разликовати, користећи очекивано одступање исхода према моделу. У коначним поставкама аутори тај избор описују као оптимизацију која се може решити линеарним програмом.

Рад даје и сертификат заустављања. Алгоритам може да стане када ниједан познати отворени кандидат не може да побољша рангирање, а разлика између најбоље потврђене корисности и горње границе достижне корисности није већа од изабране толеранције. Достизање тог сертификата не гарантује да ће се претрага завршити у коначном времену; аутори то изричито наводе.

Формални резултат о опоравку је условљен. Теорема, између осталог, претпоставља коначан простор стања и акција, експерименте који могу да разликују различита стања, конструкцију доказа засновану на односу веродостојности, позитиван услов раздвајања за циљ близак оптималном и генератор хипотеза са ненултом шансом да предложи потврдивог кандидата близу оптималног. Под тим условима граница се приближава опоравку достижне epsilon-оптималне хипотезе. „Достижна“ је важна реч: резултат се односи на хипотезе које генератор може да произведе, а не на свако објашњење које би могло да постоји.

Шта експерименти обухватају

Контролисани експеримент користи синтетичко окружење са познатим стањем. Истраживачи дискретизују простор стања на 1.540 стања параметара, дефинишу 44 достижне хипотезе и намерно почињу са скупом кандидата који не садржи ниједну истиниту хипотезу. Наводе да метода проширује скуп, потврђује истинитог кандидата и побољшава његову абдуктивну корисност. Поређења обухватају избор максималне веродостојности и максималне апостериорне вероватноће ограничен на почетни скуп, као и AutoDiscovery са проширивом претрагом. Синтетички резултати су просек осам насумичних почетних вредности.

Део о стварном свету користи два DiscoveryBench скупа података, Incarceration и SES. Истраживачи постављају питања о односима у тим скуповима, почињу са пет хипотеза на природном језику и њиховим логичким допунама, а затим процењују фиксирани скуп популационих величина кроз мерне упите над 16 подела података. Користе GPT-5 за генерисање и процену хипотеза на природном језику и пореде своју методу са AutoDiscovery. Пријављене мере су оцена подударности хипотеза коју процењује LLM, абдуктивна корисност и кардиналност хипотеза. Рад наводи да метода у оба случаја на крају постиже више оцене по прве две мере и нижу кардиналност.

Резултати на стварним подацима представљају истраживачке студије случаја. Аутори наводе да су тестови приближни и да за ову поставку нису установљене тачне гаранције важења у сваком тренутку и опоравка. Простор акција окружења и позадинска контура су фиксни, па „отворена“ претрага методе проширује скуп хипотеза само у оквиру те поставке. Она не проширује измерени простор стања нити онлајн ревидира позадинско знање. Рад такође упозорава да погрешно спецификован или слабо калибрисан позадински модел може да пристрасно утиче на хипотезе које метода преферира.

Експерименти показују како су предложено рангирање и претрага радили у једној синтетичкој конструкцији и два задатка заснована на скуповима података. Они не потврђују независно поновљено откриће, распоређеног истраживачког агента нити нов научни резултат о лишењу слободе, социоекономском статусу или другој области. Рад нуди начин да се претпоставке иза аутоматског рангирања хипотеза учине изричитим. Студија не показује да су те претпоставке и компоненте поуздане у отвореној научној пракси.

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