Nagmumungkahi ang isang bagong papel ng paraan para rangguhan ang mga paliwanag habang nadaragdagan ang ebidensya at lumalaki ang listahan ng mga posibleng paliwanag. Inuuna ng pamamaraang tinatawag na Possibility Frontier Search ang pagpapatunay sa istatistika, kasunod ang pagkakatugma sa kaalamang pinagmulan, at pagkatapos ay pagiging simple. Layunin ng ganitong pagkakasunod-sunod na pigilan ang isang kaakit-akit ngunit walang sapat na suporta na paliwanag na mangibabaw dahil lamang umaayon ito sa mga naunang inaasahan.

Balangkas at algorithm ang gawaing ito, hindi ulat tungkol sa sistemang nakagawa ng siyentipikong tuklas. Inilathala nina Anita Yang at apat na kapwa may-akda ang papel bilang arXiv v1 noong Oktubre 8, 2026. Pinagsasama nito ang mga pormal na resulta sa ilalim ng nakasaad na mga palagay, isang kontroladong sintetikong eksperimento, at mga eksploratoryong pagsubok sa dalawang totoong dataset.

Ang malaking pagbabago

  • Ano ang nagbago: Iminumungkahi ng papel ang Possibility Frontier Search, na nagraranggo sa lumalaking hanay ng mga hypothesis ayon sa pagpapatunay sa istatistika, pagkakatugma sa kaalamang pinagmulan at pagiging simple.
  • Bakit mahalaga: Para sa mga mananaliksik na sumusuri sa mga paliwanag na nilikha ng AI, inihihiwalay nito ang suporta ng istatistika mula sa pagiging kapani-paniwala batay sa naunang kaalaman at ginagamit lamang ang pagiging tiyak bilang panira ng tabla. Ipinakikita nito kung aling bahagi ng ranggo ang sumasalamin sa ebidensya at kung alin ang nagmumula sa nakapirming modelong pinagmulan. May kondisyon ang pormal na resulta; eksploratoryong pagsusuring iniulat ng mga may-akda ang dalawang pag-aaral sa dataset.
  • Ano ang dapat bantayan: Nakadepende ang mga konklusyon ng pamamaraan sa mga maimumungkahing paliwanag ng generator nito, kung paano isinasalin ang mga pahayag sa mga masusubok na hanay, at kung gaano kahusay ang pagkakatugma ng nakapirming modelong pinagmulan. Walang iniulat ang preprint na inilapat na tuklas o independiyenteng replikasyon.

Hindi probabilidad ang posibilidad

Ginagamit ng papel ang teorya ng posibilidad upang katawanin kung aling mga estado ang hindi pa naaalis. Hindi nangangahulugan ang iskor na posibilidad na 1 na may 100 porsiyentong tsansang totoo ang isang hypothesis. Nangangahulugan itong hindi pa ito naaalis ng ebidensya. Kapag mahina ang impormasyon, maaaring manatiling posible kapwa ang isang pahayag at ang kabaligtaran nito.

Dahil sa pagkakaibang iyon, naipakikita ng mga may-akda ang hindi pa nareresolbang kawalang-katiyakan nang hindi pinipilit ang sistema na maglaan ng nakapirming kabuuang probabilidad sa magkakatunggaling paliwanag. Bumubuo sila ng posibilidad na batay sa ebidensya mula sa sunod-sunod na e-process, isang anyo ng estadistikal na ebidensyang idinisenyong manatiling balido kahit nagbabago sa paglipas ng panahon ang pangangalap ng datos at mga pasya kung kailan ito ititigil.

Sa piniling hangganan ng error, pinananatili ng pamamaraan ang isang version space: ang hanay ng mga estado ng parameter na hindi inalis ng naipong ebidensya. Inuuri nito ang mga posibleng hypothesis kaugnay ng hanay na iyon. Sinasalungat ang hypothesis kung wala itong natitirang estado. Nananatili itong bukas kung naglalaman ito ng ilan ngunit hindi lahat ng natitirang estado. Napapatunayan ito kapag hindi bakante ang version space, nasa loob ng hypothesis ang bawat natitirang estado rito, at wastong subset ng buong state space ang hypothesis. Inaalis ng huling kundisyong iyon ang paikot na pahayag na kinabibilangan ng bawat posibleng estado.

Sa ilalim ng mga palagay ng modelo ng papel, nagbibigay ito ng garantiyang pare-pareho sa paglipas ng panahon: nililimitahan ng piniling antas ng error ang tsansang mapatunayan ang alinmang maling kandidato sa anumang punto. Isinasaalang-alang ng garantiya ang nababagong ebidensya at mga kandidatong nilikha gamit ang parehong naipong rekord. Nalalapat ito sa pormal at masusubok na representasyon ng isang pahayag, hindi sa dagdag na wikang sanhi o mekanismo na hindi na-encode at nasubok.

Tatlong pagsubok, ayon sa pagkakasunod

Lexicographic ang ranggo, kaya hindi maaaring manaig ang mas huling kagustuhan laban sa nauna.

  1. Pagpapatunay sa istatistika. Kailangang makapasa sa pagsubok ng ebidensya ang kandidato. Hindi makahihigit sa napatunayan ang hypothesis na nananatili lamang na bukas.
  2. Pagkakatugma sa kaalamang pinagmulan. Sa mga napatunayang kandidato, pinapaboran ng pamamaraan ang may pinakamataas na garantisadong posibilidad. Ang iskor ay ang pinakamababang halaga ng pagkakatugma sa pinagmulan sa lahat ng estadong pinahihintulutan ng hypothesis. Itinuturing ito ng mga may-akda na paraan para mabawasan ang kailangang pagbabago sa nakapirming balangkas ng pinagmulan upang umangkop ang pahayag. Paghahambing ito sa antas ng kandidato, hindi awtomatikong pagbabago sa kaalamang siyentipiko.
  3. Pagiging simple. Kung tabla ang mga kandidato sa mga pagsubok na iyon, pinipili ng pamamaraan ang hypothesis na kumakatawan sa mas kaunting estado. Sa pormalisasyong ito, nangangahulugan ang mas kaunting estado ng mas tiyak na pahayag.

Mahalaga ang pagkakasunod. Hindi naililigtas ng pagiging simple ang pahayag na bumagsak sa pagpapatunay, at hindi ebidensya ang pagkakatugma sa naunang kaalaman. Hindi rin nangangahulugan ang iskor sa pinagmulan na malamang na totoo ang hypothesis: sinusukat nito ang pagkakatugma sa ilalim ng piniling modelong pinagmulan.

Paghahanap sa hangganan

Salit-salitan ang Possibility Frontier Search sa pagmumungkahi ng mga hypothesis at pagpili ng mga eksperimento. Nagmumungkahi ang generator nito ng mga kandidato mula sa kaalamang pinagmulan, naipong datos, natitirang mga estado at naunang kandidato. Pinananatili ng pamamaraan ang mga kandidatong hindi pa nasasalungat.

Itinutuon nito pagkatapos ang pagsisikap sa eksperimento sa mga bukas na hypothesis na maaaring magpahusay sa kasalukuyang pinakamagandang resulta: kandidatong mas tugma sa kaalamang pinagmulan, o kapantay sa pagkakatugma ngunit mas simple. Para sa bawat gayong hypothesis, binubuo ang “hangganan” ng mga pares ng natitirang estado sa magkasalungat na panig ng pahayag nito. Pinipili ang susunod na eksperimento upang hangga't maaari ay paghiwalayin ang pinakamahirap mapag-iba na aktibong pares, gamit ang inaasahang pagkakaiba ng mga kinalabasan sa modelo. Sa may hangganang mga sitwasyon, inilalarawan ito ng mga may-akda bilang optimisasyong malulutas sa pamamagitan ng linear program.

Nagbibigay rin ang papel ng sertipiko ng paghinto. Maaaring huminto ang algorithm kapag walang kilalang bukas na kandidato na makapagpapahusay sa ranggo at hindi lalampas sa piniling tolerance ang agwat ng pinakamahusay na napatunayang utilidad at itaas na hangganan ng maaabot na utilidad. Hindi ginagarantiya ng pag-abot sa sertipikong iyon na matatapos ang paghahanap sa may hangganang panahon; tahasang sinasabi ito ng mga may-akda.

May kondisyon ang pormal na resulta sa pagbawi. Ipinapalagay ng teorema nito, bukod sa iba pa, ang may hangganang state at action space, mga eksperimentong nakapaghihiwalay sa magkakaibang estado, pagbuo ng ebidensya gamit ang likelihood ratio, positibong kundisyon ng paghihiwalay para sa target na malapit sa pinakamainam, at generator ng hypothesis na may hindi serong tsansang magmungkahi ng mapatutunayang kandidatong malapit sa pinakamainam. Sa ilalim ng mga kundisyong iyon, lumalapit ang hangganan sa pagbawi ng isang maaabot na hypothesis na epsilon-optimal. Mahalaga ang “maaabot”: mga hypothesis na kayang likhain ng generator ang saklaw ng resulta, hindi bawat paliwanag na maaaring umiral.

Ano ang saklaw ng mga eksperimento

Gumagamit ang kontroladong eksperimento ng sintetikong kapaligirang may kilalang estado. Hinahati ng mga mananaliksik ang state space sa 1,540 estado ng parameter, nagtatakda ng 44 na maaabot na hypothesis, at sadyang nagsisimula sa hanay ng kandidatong walang tunay na hypothesis. Iniulat nilang pinalawak ng pamamaraan ang hanay, napatunayan ang isang tunay na kandidato at pinahusay ang abductive utility nito. Kabilang sa mga baseline sa paghahambing ang maximum-likelihood at maximum-a-posteriori na pagpili na nililimitahan sa paunang hanay, pati ang AutoDiscovery na may lumalawak na paghahanap. Kinuha ang mga sintetikong resulta bilang average mula sa walong random seed.

Gumagamit ang bahagi sa totoong mundo ng dalawang DiscoveryBench dataset: Incarceration at SES. Bumuo ang mga mananaliksik ng mga tanong tungkol sa mga ugnayan sa mga dataset na iyon, nagsimula sa limang hypothesis sa natural na wika at mga lohikal na kabaligtaran ng mga ito, at sinuri ang nakapirming hanay ng mga dami sa populasyon sa pamamagitan ng mga query sa pagsukat sa 16 na data fold. Gumamit sila ng GPT-5 upang lumikha at magsuri ng mga hypothesis sa natural na wika at inihambing ang kanilang pamamaraan sa AutoDiscovery. Kabilang sa iniulat na sukatan ang iskor ng pagtutugma ng hypothesis na hinatulan ng LLM, abductive utility at cardinality ng hypothesis. Iniulat ng papel na kalaunan ay mas mataas ang iskor ng pamamaraan nito sa unang dalawa at mas mababa sa cardinality sa parehong kaso.

Mga eksploratoryong case study ang mga resultang iyon mula sa totoong datos. Sinasabi ng mga may-akda na tantiya lamang ang mga pagsubok at hindi naitatag para sa setup na ito ang eksaktong anytime-validity at mga garantiya sa pagbawi. Nakapirmi ang action space at balangkas ng pinagmulan ng kapaligiran, kaya pinalalawak ng “open-ended” na paghahanap ng pamamaraan ang hanay ng hypothesis sa loob ng setup na iyon. Hindi nito pinalalawak ang sinusukat na state space o binabago online ang kaalamang pinagmulan. Nagbababala rin ang papel na maaaring kumiling ang maling espesipikasyon o mahinang pagkaka-calibrate ng modelong pinagmulan sa mga hypothesis na pipiliin ng pamamaraan.

Ipinakikita ng mga eksperimento kung paano kumilos ang iminungkahing pagraranggo at paghahanap sa isang sintetikong konstruksyon at dalawang gawaing nakabatay sa dataset. Hindi nila itinatatag ang isang tuklas na malayang naulit, isang inilapat na ahente ng pananaliksik, o bagong siyentipikong resulta tungkol sa pagkakakulong, katayuang sosyo-ekonomiko o ibang larangan. Nag-aalok ang papel ng paraan upang gawing tahasan ang mga palagay sa awtomatikong pagraranggo ng hypothesis. Hindi ipinakikita ng pag-aaral na maaasahan ang mga palagay at bahaging iyon sa bukas na gawaing siyentipiko.

Mga mapagkukunan at karagdagang babasahin