Taasisi ya Hisabati ya Udongo imekiri hadharani kwa mara ya kwanza kwamba tatizo la Navier-Stokes kuwepo na ulaini - mojawapo ya Matatizo saba ya Tuzo ya Milenia - "imeonekana kutatuliwa." Taarifa hiyo, iliyochapishwa kwenye tovuti ya taasisi hiyo Ijumaa, inasogeza moja ya hadithi za AI-na-hisabati zilizoshindaniwa zaidi mwaka huu katika mchakato rasmi wa tathmini ya tuzo za taasisi hiyo, huku ikiweka wazi kuwa hakuna zawadi iliyotolewa na hakuna uthibitisho ulioidhinishwa.
"Leo, CMI inashiriki msisimko wa jumuiya ya kimataifa ya hisabati tunapotafakari tangazo kwamba tatizo la Navier-Stokes ni dhahiri limetatuliwa," taasisi hiyo iliandika katika tangazo hilo, la tarehe 11 Septemba 2026. "Tunatumai kuona mawimbi ya uelewaji mpya wa binadamu yakitolewa wakati ubunifu wa kazi hii unapochambuliwa na kuchunguzwa." For more context on this story, see our ongoing breaking AI news.
Kwa Nini Taarifa Hiyo Ni Muhimu
Lugha iliyopimwa ya taasisi hiyo inafanya kazi nyingi, na kila neno lilichanganuliwa ndani ya saa chache kwenye Hacker News, ambapo tangazo lilikusanya zaidi ya pointi 100. Kile ambacho taarifa haisemi ni muhimu kama inavyofanya: Taasisi ya Hisabati ya Udongo haitaji OpenAI, haithibitishi kwamba uthibitisho wowote mahususi ni sahihi, na haianzishi tuzo ya zawadi.
Muktadha unaelezea kizuizi. Mnamo Septemba 8, OpenAI ilichapisha suluhu iliyodaiwa kwa tatizo la Navier-Stokes, ikisema kwamba mfumo wa ndani wa AI - ulioelezewa na kampuni kuwa na uwezo mkubwa zaidi kuliko mfano wake wa GPT-6 Astra - ulikuwa umetoa uthibitisho wa uchambuzi na uthibitishaji rasmi katika msaidizi wa uthibitisho wa Lean. Tangazo hilo lilibadilika mara moja kuhusu mikopo kama vile kukokotoa, kwa sababu wanahisabati wawili wa kitaaluma walitoa karatasi zinazohusiana kwa karibu siku hiyo hiyo, na watafiti walisisitiza OpenAI juu ya ambao kazi yao ilikuwa imefahamisha matokeo ya mashine.
Huku taasisi hiyo sasa ikikubali kwamba tatizo "imeonekana kutatuliwa," mzozo unabadilisha eneo: kutoka ping-pong iliyotolewa kwa vyombo vya habari hadi utaratibu wa tathmini ya Tuzo ya Milenia, ambayo taasisi inaelezea kama "bila kuharakishwa kimakusudi."
Tatizo Linalouliza Navier-Stokes
Tatizo linahusu kuwepo na ulaini wa suluhu za milinganyo ya Navier-Stokes katika nafasi ya Euclidean yenye dimensional tatu - milinganyo inayoelezea jinsi vimiminika kama vile maji na hewa vinavyosonga. Ingawa milinganyo hii hutumiwa kila siku na wahandisi, wataalamu wa hali ya hewa, na wataalamu wa anga, wanahisabati hawajawahi kuthibitisha kwamba masuluhisho laini na yanayofaa kila wakati yapo katika vipimo vitatu, au kwamba yanatenda kwa kutabirika badala ya kukuza umoja.
Taasisi ya Hisabati ya Udongo ilizindua Matatizo ya Tuzo ya Milenia katika mkutano huko Paris mwaka wa 2000, ikiambatanisha zawadi ya dola milioni 1 kwa kila moja ya matatizo saba, ambayo pia ni pamoja na Riemann Hypothesis na P dhidi ya NP. Katika taarifa yake ya Ijumaa, taasisi hiyo ilisisitiza mantiki yake ya awali: kuinua ufahamu wa umma kwamba mipaka ya hisabati iko wazi, na kutambua "mafanikio katika hisabati ya ukubwa wa kihistoria."
Shida moja tu kati ya hizo saba, Dhana ya Poincaré, imetatuliwa - na Grigori Perelman katika kazi iliyochapishwa mnamo 2002 na 2003, ambayo kwa umaarufu alikataa Medali ya Mashamba na pesa za tuzo.
Tathmini 'Isiyoharakishwa Kwa Makusudi' Mbele
Tangazo la taasisi hiyo linaonyesha kanuni za zawadi kama mfumo unaosimamia kile kitakachofuata. “Kanuni zinazosimamia zawadi zinaeleza utaratibu wa kutathmini kilichofikiwa na kupeana mikopo,” inasomeka taarifa hiyo. "Mchakato huo haujaharakishwa kwa makusudi, lakini tutatoa sasisho."
Kauli hiyo inaacha wazi maswali kadhaa ambayo jumuiya ya hisabati sasa inajadili waziwazi. Uthibitishaji ni kikwazo cha kwanza: uthibitisho wa ulaini wa Navier-Stokes kwa kawaida ungechukua kamati ya wataalamu miezi mingi kukagua mstari baada ya mstari. Madai ya OpenAI kwamba matokeo yake ni pamoja na urasimishaji ulioangaliwa na mashine katika Lean, kimsingi, inaweza kubana ratiba hiyo kwa kiasi kikubwa, kwani uthibitishaji rasmi hupunguza swali la usahihi wa kile ambacho msaidizi wa uthibitisho atakubali. Lakini taasisi hiyo haijasema ikiwa urasimishaji kama huo umewasilishwa kwake, waamuzi ni akina nani, au jinsi mikopo itagawanywa kati ya mfumo wa AI, waundaji wake katika OpenAI, na wanahisabati wa kitaaluma ambao karatasi zao zinazohusiana zilionekana wiki hiyo hiyo.
Taarifa hiyo pia haiangazii iwapo suluhu linalohusishwa kwa kiasi kikubwa na mfumo wa AI linahitimu kupata tuzo inayokusudiwa, katika lugha ya uanzilishi ya taasisi, kutambua mafanikio ya kibinadamu ya hisabati - swali ambalo halina mfano katika historia ya miaka 26 ya tuzo.
Mvutano Nyuma ya Tangazo
Tangazo linatua kwa wakati mgumu sana kwa makutano ya AI na hisabati. Siku ya Ijumaa, kundi la Washindi wa Medali 25 akiwemo Terence Tao walichapisha onyo rasmi kwamba mbio za kuonyesha mifumo ya AI kwenye alama za hesabu zinaharibu sayansi na jamii inayoidumisha - taarifa ambayo ilikusanya waidhinishaji zaidi ya 1,300 ndani ya siku moja, kama ilivyoripotiwa hapo awali na AI Buzz Wire.
Hati hizo mbili zilisoma karibu kama majibu kwa kila mmoja. Tamko la wanahisabati linaonya dhidi ya kutibu matatizo makubwa kama nyara za kigezo; tangazo la taasisi hiyo, huku likikumbatia matokeo, huweka wazi wakati wa kuelewana badala ya ushindi, ikitumaini kuona "mawimbi ya uelewaji mpya wa binadamu yakitolewa huku ubunifu wa kazi hii ukichambuliwa na kuhojiwa."
Hata akaunti ya taasisi yenyewe ya uwanja unaozunguka inakubali mabadiliko hayo: "Uwezo unaoongezeka wa teknolojia mpya ili kuharakisha utafiti wa hisabati umeongeza hali hii ya kutarajia," taarifa hiyo inabainisha, ikionyesha mafanikio ya hivi karibuni katika maeneo ya karibu - baadhi yanatambuliwa na Tuzo la Utafiti wa Clay - na kuongeza matumaini kwamba Navier-Stokes anaweza kuanguka hivi karibuni.
Nini Kinafuata
Kwa sasa, uondoaji wa vitendo ni finyu lakini ni halisi: taasisi inayomiliki tatizo imeingia kwenye rekodi kwamba inazingatia kuwa tatizo limetatuliwa, na imejitolea kusasisha umma kadri tathmini yake inavyoendelea. Ikiwa kazi hiyo itasalia kuchunguzwa, itakuwa ni Tatizo la pili la Milenia kutatuliwa, la kwanza katika miongo miwili - na la kwanza katika historia kudaiwa kwa sehemu kwa mfumo wa AI, tofauti ambayo itaunda jinsi taasisi za hisabati kushughulikia madai kama hayo yanayofuata.
Taasisi imeomba uvumilivu. Ikizingatiwa kwamba mchakato huo, kwa kubuni, haukuharakishwa kimakusudi, maswali ya jumuiya - kuhusu uthibitisho, mkopo, na jukumu la mashine iliyoitayarisha - yatajibiwa kwenye ratiba ya matukio ya taasisi, si ya mzunguko wa habari.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
