Slo-Tech - Če smo še pred mesecem dni pisali, da je OpenAI s svojim agentom rešil enega najbolj znanih matematičnih problemov, lahko to pot predmet postavimo v množino. OpenAI je z internim modelom, ki še ni dostopen javnosti, objavil dokaze več sto matematičnih problemov. Matematiki jih še niso ročno preverili, prve analize s formalnim jezikom Lean pa kažejo, da bi dokazi lahko bili pravilni.
OpenAI seveda ni nič bolj naklonjen matematiki kot kakšnim drugim vedam, a izkorišča njeno prednost. Za razvoj in testiranje svojih modelov potrebuje čim težje probleme, matematični izzivi pa imajo zelo jasno pot za preveritev rezultata. Težko je reči, ali je model napisal boljši sonet od Prešerena, medtem ko je matematični dokaz mogoče formalno in rigorozno preveriti. Nerešeni problemi v matematiki so zato dragocena vadbišča za modele.
In tako je OpenAI na GitHub odložil dokaze za 372 problemov. Večino je Lean že preveril in potrdil, zato je sedaj žogica na strani matematikov. OpenAI dodaja, da je interni model, ki je primerljiv z najdražjimi dostopnimi komercialnimi modeli (ki stanejo 500 dolarjev mesečno), večino problemov rešil z enim samim pozivom v nekaj urah razmišljanja za vsak problem. To je precej drugače od rešitve Navier-Stokesove domneve, za kar so potrošili 15 milijonov dolarjev, ko je 10.000 agentov trlo oreh.
Ključno vprašanje je, kam to vodi. Matematičnih problemov ne rešujemo samo zato, ker nas zanima rešitev, temveč tudi ker se ob tem kaj novega naučimo, bodisi kot skupnost bodisi novi rodovi matematikov. Umetna inteligenca nas tega oropa, a po drugi strani so njeni dokazi lahko povsem nepričakovani in povežejo veje matematike, ki jih ljudje še niso. Nekateri matematiki, denimo Terrence Tao, so zato do umetne inteligence močno kritični. Drugi pa poudarjajo, da morajo biti podjetja transparentna in razkriti delovanje modelov. A dejstvo je, da je duh ušel iz steklenice.
Matematičnih rešitev (formul) in pa fizikalnih principov ni možno patentirati. Možno pa je patentirati kakšno zadevo (npr. program), kjer je takšna rešitev uporabljena za reševanje konkretnega problema...
Tisti, ki bo imel dostop do najmočnejšega modela, bo vladal svetu. Verjetno bo lahko napovedal prihodnost, podobno kot lahko vreme za nekaj dni. Kar bo naredilo elito še močnejšo, za navaden folk bo pa "končna rešitev".
Verjetno bi še bilo kaj upanja, če bi openai ostal neprofitna organizacija, tako pa...
Verjetno bi še bilo kaj upanja, če bi openai ostal neprofitna organizacija, tako pa...
Žid pa neprofitna organizacija lol. Stvar ima pri tem liku tudi očitne "transhumanistične" priokuse, ko ga malo dobiš, da se razgovori - očitno vidi Ejaj kot njihovega golema.
To ti da samo v primeru, če samo ti sam uporabljaš AI, ostalim pa dostop omejuješ. Če imajo vsi enakovreden dostop, da ne rečem odprt dostop, potem se o neki nadnaravnih močeh ne moremo pogovarjati. Ampak kot vidimo, te boljše modele že omejujejo.
Ne, bo kar držal tale del odstavka, ki je daleč najbolj pomemben v novici:
Ključno vprašanje je, kam to vodi. Matematičnih problemov ne rešujemo samo zato, ker nas zanima rešitev, temveč tudi ker se ob tem kaj novega naučimo, bodisi kot skupnost bodisi novi rodovi matematikov. Umetna inteligenca nas tega oropa, a po drugi strani so njeni dokazi lahko povsem nepričakovani in povežejo veje matematike, ki jih ljudje še niso.
... ker tudi naši možgani morajo treti "miselne orehe", če hočemo inteligenčno napredovati oz. v prvi fazi sploh priti do te možnosti z "analognim" učenjem osnov.
The main failure in computers is usually located between keyboard and chair.
You read what you believe and you believe what you read ...
Nisam čit'o, ali osudjujem (nisem bral, a obsojam).
Kaj ste mislili da se malo za zabavo mečejo triljone v AI? Še kar čakate pok AI balona?
Govorili so da bo robotika odpravila fizična dela a zgodila se je ironija da AI odpravlja delo belih ovratnikov. Si predstavljate kako zmogljiva bo AI čez 10 let?
Ne, bo kar držal tale del odstavka, ki je daleč najbolj pomemben v novici:
Ključno vprašanje je, kam to vodi. Matematičnih problemov ne rešujemo samo zato, ker nas zanima rešitev, temveč tudi ker se ob tem kaj novega naučimo, bodisi kot skupnost bodisi novi rodovi matematikov. Umetna inteligenca nas tega oropa, a po drugi strani so njeni dokazi lahko povsem nepričakovani in povežejo veje matematike, ki jih ljudje še niso.
... ker tudi naši možgani morajo treti "miselne orehe", če hočemo inteligenčno napredovati oz. v prvi fazi sploh priti do te možnosti z "analognim" učenjem osnov.
Tega kot kaže ne bo več, bodo samo še rešitve, bolj ali manj "prave". Ne bo več motivacije učiti se in rasti v znanju ter tako priti do rešitev najtrših orehov.
Učite se iz preteklosti, živite v sedanjosti in razmišljajte o prihodnosti.
To je potem zaton človeštva, ker mi ne moremo samo uživati in ribariti.
The main failure in computers is usually located between keyboard and chair.
You read what you believe and you believe what you read ...
Nisam čit'o, ali osudjujem (nisem bral, a obsojam).
Govorili so da bo robotika odpravila fizična dela a zgodila se je ironija da AI odpravlja delo belih ovratnikov. Si predstavljate kako zmogljiva bo AI čez 10 let?
A si predstavljaš da v kakšnem svojem scenariju da se stvar ponovi. Torej robotika je sicer odpravila fizična dela ampak ne čisto. No ravno tako bo tudi z AI.
AI da človeku praktično nadnaravne sposobnosti. Na tej točki je to popolnoma jasno, da gre vse v to smer.
Katera stvar ali stroj pa ne da človeku nadnaravne sposobnosti? Računalnik, avto, traktor, avion? Zato jih imamo in uporabljamo. Če bi znal leteti, se človek ne bi guncal po nekih letališčih in avionih, ampak bi ročno odfrčal kamor želi.
Govorili so da bo robotika odpravila fizična dela a zgodila se je ironija da AI odpravlja delo belih ovratnikov. Si predstavljate kako zmogljiva bo AI čez 10 let?
A si predstavljaš da v kakšnem svojem scenariju da se stvar ponovi. Torej robotika je sicer odpravila fizična dela ampak ne čisto. No ravno tako bo tudi z AI.
Robotika je noro napredovala. Prej si na družabnih omrežjih od cca leta 2010 lahko videl samo BostonDynamics omejene robote in že tisto kar smo videli je bilo WOW. To kar danes dela že 5, 10 podjetji je pa noro. In kar vidimo ni končna točka, da bi lahko rekel, da robotika ni čisto odpravila fizična dela. Če se bo AI še naprej tako hitro razvijal bo pomagal tudi pri razvoju še boljše robotike.
