Mga panuntunan

Noong Oktubre 26, 2026, inanunsyo ng OpenAI na "pinatunayan ng AI system nito na mali ang ETH, isang resultang kalaunan ay napatunayan sa Lean." (tingnan: https://openai.com/index/building-scientific-understanding-with-academic-communities/) Masesettle ang market na ito bilang "Oo" kung makukumpirma ang isang pagpapabulaan sa Exponential Time Hypothesis sa pamamagitan ng kahit isa sa mga kwalipikadong paraan ng pagkumpirma na nakalista sa ibaba bago sumapit ang itinakdang petsa, 11:59 PM ET. Kung hindi, maresolba ang market na ito bilang "Hindi". Tumutukoy ang "Exponential Time Hypothesis" sa haka-hakang binuo nina Russell Impagliazzo at Ramamohan Paturi na hindi malulutas ang problemang 3-SAT sa subexponential na oras. Tumutukoy ang "pagpapabulaan" sa anumang matematikal na patunay na mali ang Exponential Time Hypothesis, kabilang ang patunay na inilalahad sa papel ng OpenAI na pinamagatang "Mali ang Exponential Time Hypothesis" (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) at anumang itinama, binago, o pinalawak na bersiyon nito, mula man sa OpenAI o sa iba. Hindi kwalipikado ang mga pagkumpirmang nagtatatag lamang ng mas mahinang resulta, gaya ng mas mabilis na algorithm na hindi nagpapabulaan sa Exponential Time Hypothesis, o nagtatatag lamang na nagko-compile ang Lean code ng OpenAI. Ang mga kwalipikadong paraan ng pagkumpirma ay: (i) Publikasyong dumaan sa peer review: ang papel na naglalahad ng pagpapabulaan, isinulat man ng OpenAI o ng ibang mananaliksik, ay inilathala o tinanggap para ilathala sa isang kinikilalang siyentipikong journal na dumaan sa peer review o kumperensiyang dumaan sa peer review (hal., STOC, FOCS, SODA). Hindi kwalipikado ang mga preprint at iba pang publikasyong hindi pa nakukumpleto ang peer review. (ii) Malayang pagpapatunay: pampublikong kinukumpirma ng grupong tagasuri na pinamumunuan nina Russell Impagliazzo, Ramamohan Paturi, at Ryan Williams, ng sinuman sa tatlong mananaliksik na ito, o ng iba pang mapagkakatiwalaang mananaliksik o grupo ng pananaliksik na walang kaugnayan sa OpenAI na tama ang isang pagpapabulaan. Dapat walang pasubaling sabihin ng kumpirmasyon na tama ang pagpapabulaan o mali ang Exponential Time Hypothesis (hal., na nasuri na ang patunay at napatunayang tama ito), at dapat itong ilathala ng nagsuring mananaliksik o grupo, o ng mga miyembro nito, sa pamamagitan man ng papel, preprint, website, blog, o opisyal na social media account; hindi kwalipikado ang mga kumpirmasyong OpenAI lamang ang naghatid. Maaaring ibatay ang kumpirmasyon sa pagsusuri sa nakasulat na patunay, sa pormalisasyon nito sa Lean, o sa pareho; kwalipikado ang kumpirmasyong batay sa pormalisasyon sa Lean kung sinasabi nitong itinatatag ng pormalisadong resulta na mali ang Exponential Time Hypothesis. Hindi kwalipikado ang mga pahayag na nagpapatuloy pa ang pagsusuri, na wala pang nakikitang mga error sa ngayon, o na malamang na tama ang pagpapabulaan. Hindi isasaalang-alang ang mga kumpirmasyong inilathala o isinapubliko pagkatapos ng itinakdang petsa, kahit naganap ang kaugnay na pagsusuri bago ang petsang iyon. Itinuturing na may kaugnayan sa OpenAI ang mga empleyado, kontratista, at investor nito. Hindi ituturing na may kaugnayan sa OpenAI ang grupong tagasuri na pinamumunuan nina Russell Impagliazzo, Ramamohan Paturi, at Ryan Williams, pati ang mga miyembro nito. Hindi hahadlang sa pagsasaalang-alang para sa settlement ang pahayag ng grupong tagasuri na hindi dapat ituring na sertipikasyon ng pahayag ang paglahok nito, kung magbigay kalaunan ang grupo o mga miyembro nito ng kwalipikadong kumpirmasyon. Hindi sapat nang mag-isa ang mga pahayag, post sa social media, o press release ng OpenAI o mga kaanib nito, mga ulat sa media na inuulit lamang ang mga pahayag na iyon, at ang pormalisasyon sa Lean na inilathala ng OpenAI. Ang magiging batayan sa pag-resolve ng market na ito ay ang pagkakasundo ng mga mapagkakatiwalaang sanggunian at kaugnay na mga ekspertong siyentipiko na nagbeberipika sa pagiging lehitimo ng kwalipikadong pagkumpirma.

Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.