Mifumo miwili ya AI ya kiwango cha juu, ikifanya kazi kwa kujitegemea, imefanikisha kile ambacho hakuna mwanahisabati wa kibinadamu aliyeweza kwa miongo mitatu: kuvunja Exponential Time Hypothesis (ETH).
OpenAI ilitangaza kuwa modeli yake ya utafiti ilipata kuvunja ETH kwa lugha ya kawaida tarehe 16 Oktoba na kuwekwa rasmi siku iliyofuata katika Lean, kikaguzi cha ushahidi cha mashine. Hati ya kurasa 67 imeandikwa mwandishi "OpenAI".
Saa chache kabla, Anthropic ilikuwa imechapisha karatasi yake ya kurasa 49, "A 2^o(n) Time Algorithm for 3-SAT", iliyopewa sifa kwa "Claude, Anthropic". Modeli ya ndani ya utafiti ya Claude ilipata algorithm kuu siku hiyohiyo, 16 Oktoba.
ETH, iliyopendekezwa na Russell Impagliazzo na Ramamohan Paturi karibu 1999, inasema kuwa hakuna algorithm inayoweza kutatua tatizo la Boolean satisfiability kwa kasi zaidi ya muda wa kipeo. Ni msingi wa mamia ya matokeo ya ugumu masharti katika nadharia ya grafu, hifadhidata, biolojia ya kompyuta na jiometria ya kompyuta.
Timu zote mbili sasa zinadai algorithm ya uhakika inayohesabu assignments zinazotosheleza katika muda wa chini ya kipeo, na kipimo kikuu sawa katika kipeo. Ikiwa dai litadumu, ukuta mkuu wa nadharia ya utata unaanguka.
Mashine ya uthibitishaji ni imara kupita kawaida. Ushahidi umewekwa rasmi katika Lean, ambao hukagua kila hatua kwa mitambo. Stefan Szeider wa TU Wien, aliyekagua nyaraka zilizotolewa, anatarajia itahimili uchunguzi. Ya kushangaza zaidi: OpenAI iliteua kikundi cha ukaguzi huru kinachojumuisha Impagliazzo na Paturi wenyewe - waandishi wa dhana wanakagua kuvunjwa kwayo. Barua yao ya wazi inasema hii inaweza kubadilisha sehemu muhimu ya sayansi ya kompyuta.
Mipaka ni muhimu kama matokeo yenyewe. P versus NP haijaguswa. Algorithm mpya bado ni superpolynomial, hivyo hakuna kisuluhishi cha SAT kilicho kasi kinachotokana nayo. Kilichobadilika ni ramani ya kinachowezekana kinadharia, na ni nani - au nini - kinachoichora upya.
Kwa viongozi wa biashara, ishara si katika hisabati. Ishara ni kwamba AI imevuka kutoka kuandika maandishi na msimbo hadi kuzalisha utafiti asili uliothibitishwa na mashine. Dhana kwamba mashine haziwezi kufanya sayansi mpya imepigwa pigo kubwa, na mpaka wa uwezo sasa unasonga kwa kasi zaidi ya mizunguko mingi ya mipango.
Makampuni yanayochukulia AI kama mshirika wa utafiti, si msaidizi wa kuandika, yataweka kasi ya muongo ujao.
Fikiria kwa kihisabati. Unde kwa akili. Ongoza kwa kimkakati. Jenga kwa uwajibikaji. Panua kimataifa. Tengeneza thamani halisi ya biashara kupitia akili bandia.
