Fórsa OpenAI a bhriseann Navier-Stokes

Déanann cothromóidí Navier–Stokes cur síos ar ghluaiseacht sreabhán: gach sruth aigéin, gach ribe deataigh, gach scaird as píobán gairdín. Tá an cheist an bhfanann a réitigh i dtrí thoise mín agus críochta i gcónaí, nó an féidir leo éirí éigríochta agus dul ó mhaith ó thaobh na matamaitice de uaireanta, ar cheann de na seacht bhFadhb um Dhuais na Mílaoise a leag Institiúid Matamaitice Clay amach. An 8 Meán Fómhair, d’eisigh OpenAI lámhscríbhinn 166 leathanach agus cruthúnas foirmiúil is féidir le meaisín a sheiceáil, agus mhaígh sé go réiteofaí an fhadhb leo. Trí lá ina dhiaidh sin, d’fhreagair Clay gur cosúil “go bhfuil an fhadhb réitithe”; friotal thar a bheith dearfach é sin, ach friotal atá sealadach go follasach.

Tá an maíomh níos sonraí ná mar a thugann formhór an chlúdaigh le fios. Baineann toradh OpenAI le sreabháin faoi fhórsáil: cásanna ina dtiomáineann brú seachtrach mín, atá deartha go cúramach, sreabhán atá ar fos i dtosach i dtreo uathúlachta — pointe nach dtáirgeann an mhatamaitic freagra críochta a thuilleadh — laistigh d’achar críochta ama. Ní thugann sé aghaidh ar an gceist an féidir le gnáthsreabhán gan fhórsáil éirí éigríochta go spontáineach. Tá an t-idirdhealú sin ríthábhachtach chun a thuiscint cad go díreach atá á mhaíomh.

An fáth a bhfuil tábhacht leis an bhfórsáil

Tairgeann ráiteas oifigiúil na faidhbe ó Clay ceithre bhealach chun teacht ar réiteach. Fiafraíonn dhá cheann díobh an bhfanann sreafaí míne mín i gcónaí. Fiafraíonn an dá cheann eile, roghanna C agus D, an féidir cás a cheapadh ina gcliseann sreabhadh mín gan teip. Ceadaítear fórsa seachtrach mín go sainráite i roghanna C agus D de chuid Clay.

Roghnaigh OpenAI an dara bealach sin. De réir a lámhscríbhinne, is féidir le fórsa mín a cheaptar go speisialta, ag aon leibhéal slaodachta — an t-airí a fhágann go sreabhann mil go mall agus uisce go réidh — sreabhán atá gan ghluaiseacht i dtosach a bhrú i dtreo uathúlachta agus an fuinneamh cinéiteach iomlán teoranta i gcónaí. Má sheasann an cruthúnas, comhlíonann sé seo coinníollacha Clay.

Tógann an cur chuige ar obair a rinneadh roimhe seo. Bhí léirithe cheana féin ag na matamaiticeoirí Spáinneacha Diego Córdoba agus Luis Martínez-Zoroa, in éineacht le Fan Zheng, i réamhphrionta, go bhféadfadh éirí éigríochta faoi fhórsáil tarlú i leagan lagaithe de na cothromóidí inar laghdaíodh go saorga éifeacht smúdála na slaodachta. Is é an dul chun cinn atá á mhaíomh ag OpenAI gur éirigh leis an straitéis a chur ag obair sna cothromóidí iomlána gan mhodhnú.

An méid a dheimhníonn Lean

Is é an stór Lean 4 a ghabhann leis an obair a fhágann gur maíomh neamhghnách é seo. Is cúntóir cruthúnais é Lean, clár a dhiúltaíonn d’aon chéim loighciúil mura leanann sí ó na sainmhínithe ionchódaithe agus ó na rialacha a nglactar leo. Déanann croí beag bogearraí iontaofa gach tátal a sheiceáil.

Tá sé seo cumhachtach mar go bhfágann sé gur fusa i bhfad grinnscrúdú a dhéanamh ná mar a bheadh sé dá ndéanfaí athbhreithniú ar mhatamaitic phróis amháin. Ach ní sheiceálann Lean ach comhsheasmhacht inmheánach: an leanann na conclúidí ó na sainmhínithe mar a ionchódaíodh iad. Ní mór do shaineolaithe ar dhinimic sreabhán a mheas an léiríonn na sainmhínithe ionchódaithe sin go dílis gach coinníoll i ráiteas Béarla na faidhbe ó Clay. Ábhair arna n-eisiúint ag an gcuideachta iad an lámhscríbhinn agus an stór, ní foilseacháin phiarmheasúnaithe, agus amhail an 14 Meán Fómhair ní raibh aon iniúchadh neamhspleách saineolaithe ar an stór iomlán doiciméadaithe go poiblí.

Deir OpenAI gur tháirg córas dílsithe d’eiseamláirí intleachta saorga a d’oibrigh go comhthreomhar an toradh anailíseach, agus gur chuir samhail GPT-6 Astra na cuideachta i bhfoirm fhoirmiúil é in Lean ansin (OpenAI). Ní féidir le daoine lasmuigh den chuideachta na figiúirí sonracha a thuairiscíonn sí maidir le scála agus luas a atáirgeadh go neamhspleách: is féidir leo an t-aschur a scrúdú, ach ní féidir leo an próiseas giniúna a athdhéanamh.

Thuairiscigh Quanta Magazine gur eisigh Tristan Buckmaster ó NYU agus Levent Alpöge, atá cleamhnaithe le Anthropic, torthaí gaolmhara le cúnamh na hintleachta saorga ar chothromóidí sreabhán gaolmhara tuairim is dhá uair déag roimh fhógra OpenAI, agus iad ag tarraingt ar an straitéis chéanna de chuid Córdoba agus Martínez-Zoroa. Léiríonn an teacht le chéile seo idir dhá shaotharlann chorparáideacha intleachta saorga, agus iad araon ag leanúint an chonair chéanna a leag taighde ollscoile amach, a mhéid atá an toradh faoi chomaoin ag obair mhatamaiticiúil a rinneadh roimhe seo.

Cad a tharlóidh anois

Éilítear faoi rialacha na duaise de chuid Clay go bhfoilseofaí an obair in iris incháilithe phiarmheasúnaithe, go ndéanfadh an pobal grinnscrúdú uirthi ar feadh dhá bhliain ar a laghad, agus go gcinnfí go bhfuil glacadh ginearálta léi sula dtosódh coiste speisialta fiú ar a phlé. Níor sainaithníodh aon aighneacht d’iris maidir le lámhscríbhinn OpenAI.

Má dheimhníonn athbhreithniú neamhspleách an cruthúnas, bunóidh sé gur féidir le cothromóidí caighdeánacha tríthoiseacha Navier–Stokes faoi fhórsáil mhín uathúlacht a fhorbairt laistigh d’achar críochta ama. Tá an cás gan fhórsáil — an féidir le sreabhán a fhágtar faoi réir a fhisice féin éirí éigríochta go spontáineach — fós gan réiteach. Bheadh freagra ar leath de cheist atá ann leis na céadta bliain. Bheadh an leath eile fós ag fanacht.