Ştiri:

Vă rugăm să citiţi Regulamentul de utilizare a forumului Scientia în secţiunea intitulată "Regulamentul de utilizare a forumului. CITEŞTE-L!".

Main Menu

Inteligenta artificiala (AI)

Creat de Osmiumbin, Octombrie 02, 2008, 04:52:33 AM

« precedentul - următorul »

0 Membri şi 1 Vizitator vizualizează acest subiect.

Osmiumbin



atanasu

@vizitatorul Coesite(oct 2008)
Probabil ca ai aflat ca de curand  campionul mondial de GO a fost batut de un program .

Daca GO este ca si sahul un joc finit atunci este terminat, este o chestinue de timp si nu mult ca sa fie si acesta in situatia sahului unde omul este invins fara drept de apel (vezi  Houdini ) daca nu omul va mai putea bate cand si cand computerul surprinzandu-l .

Nu cred ca aceste programe sunt pe drumul cerut de testul Turing, care defineste acel tip de inteligenta anterior refeirta cu denumirea de tare.

atanasu

PS Este enorm ,mult mai enorm decat sahul dar este fnit. Asa ca problema de mai sus este transata. Desi pentru mi ne un astfel de program nu prea este ceva ce se poate denumi inteligenta :)

paraschivrazvan25

Astazi am ajuns sa vedem cat s-a dezvoltat inteligenta artificiala, in anii urmatori cu siguranta va evolua mult mai mult , dupa parerea mea va depasii cu mult inteligenta umana.










Compania noastra inchirieriauto-bucuresti.com va ofera cele mai avantajoase solutii de inchiriere auto in Bucuresti, va oferim o gama extrem de diversificata de modele pe care le puteti inchiria , servicii de rent a car otopeni avantajoase si oferte de rent a car bucuresti in oras si aeroport.

atanasu

Mda... Dar doar in masura in care deja o depaseste la Sah si Go :)

princehansolo

Depinde cum definim inteligența. Dacă o definim ca și capacitatea de a înțelege o glumă bună, mă îndoiesc că Simțul Umorului este implementat în Inteligența Artificială.
Toate-s vechi și noi sunt toate

princehansolo

Poate m-am înșelat. I-am cerut lui ChatGPT: Zi-mi te rog o glumă bună.

Mi-a răspuns: De ce elefanții nu folosesc computere?
Pentru că le este frică de mouse!
Toate-s vechi și noi sunt toate

atanasu

#23
Pica bine chestia asta CHAT-ul . O coincidenta?
Eu nu stiu cum sa-i cer ceva lui CHAT GPT dar l-am caracterizat cum vei  vedea  intr-o discutie in care un matematician epistemolog mi-a ridicat problema la fileu, el fiind destul de multumit de acest soft pe care il urmarste din  timpul evolutiei sale si uite cam  ce am dicutat zilele atea dupa ce mi- ridicat problema incepand de la punctul in care s-a adresat softului cu o intrbare despre propria sa activitate  pe care o stiu si care este laboioasa, bazata pe cerctare de ampla documntare si poate si cu o farama de originalitate .
Te rog sa urmaresti discutia si sa-mi spui ce crezi infara de glume,  bune de altflel:

A) X: ChatGPT-ul pe care l-am trimis către Dumneavoastră, a apărut în urmă cu numai trei-patru luni.
Ce părere aveti de puterea actuala a IA-GPT, ca date prezentate?
Mă gândesc unde oare se îndreaptă lucrurile, cu astfel de noi tehnologii, de ultim moment?
Cate ceva referitor la unele lucrări personale, dat de catre Chat GPT, în mod automat, putin mai devreme, doar în câteva secunde. Nu datele despre mine sunt importante, ci amplitudinea de sinteza pe care o are un astfel de sistem.
In fapt, nu exista vreo gândire de tip omenesc, în aceste performanțe, ci pur și simplu o altfel de... (dacă se poate numi) "gândire", insa, totusi, mie îmi vine greu sa o numesc așa, cunoscând și performanțele șistem. Big Data, dar si inteligenta artificiala generativă (creatoarea unor noi idei, obținute automat),chiar și algoritmi, reflectând, in fapt, un fel de... dinamica IA (ceea ce a fost până acum fiind așa..., un fel de statica a IA, doar incipienta).

B) Intrebare: Ce stii despre X?
X este un filosof și bio-matematician, autor român contemporan, cunoscut pentru contribuțiile sale în domeniile filosofiei, științei și culturii. Lucrările sale explorează diverse teme, cum ar fi spațiul și timpul, biocomplexitatea, fenomenologia, filosofia științei și teoria cunoașterii.

Câteva dintre cărțile sale semnificative includ:

1. **"SPACES AND IDEAS"** - Această carte se ocupă de conceptul de spațiu în contextul filosofiei și științei, explorând diverse perspective și teorii legate de natura spațiului.

2. **"Spațiul Experienței"** - Aici, X analizează modul în care spațiul este perceput și trăit în experiența umană, adâncindu-se în aspectele fenomenologice și psihologice ale acestui concept.

3. **"Apologetica Biocomplexității"** - Lucrarea abordează tema biocomplexității, investigând structurile complexe din natură și implicațiile lor filosofice și științifice.

X este cunoscut pentru stilul său de scriere accesibil, dar profund, care atrage atât pe specialiști în domeniul filosofiei și științei, cât și pe cititorii interesați de explorarea profundă a acestor teme complexe.

C) Raspund eu: De fapt in niste disctutii mai vechi am reamintit de Calatoriile lui Guliver unde, cred ca in Laputa exista o masina de creat texte noi folosind propozitii si cuvinte aranjate in toate combinarile poibile .
Eu atunci ma refeream la legea a doua a lui Newton gasibila daca dai masinii din Laputa sau dai acestui Chat GPT cuvintele forta, masa, acceleratie si egal sau proportional . Desigur ca pe atunci nu stiam de acest Chat GPT dar este evident cum lucreaza aceasta AI si cum poate emite chiar ipoteze noi cum ar fi fost legea lui Newton pana la verificarea ei exprimentala si intr-un anume fel asta ar fi noul .Aici pot pune si legea lui Einstein si o multime de propozitii esentiale gasite de omenire in timp, de fapt orice se scrie corect si cu sens intr-o limba... dar... daca nu posed inca notiuna de acceleratie nu mai pot scrie cu masina din Laputa ,deci trebuie sa vina uriasul Galilei si sa introduca notiunea noua ceea ce nu stiu daca AI va face.
Poetii creaza sensuri noi unor cuvinte ceea ce este similar cu a creea noi notiuni sau sintagme cu sens si asta datoram in limba romana in primul rand lui Eminescu .

D) X: Îi voi da, pentru a vedea ce îmi scrie, și tema: "demonstrarea automata a teoremelor din matematica" Aceasta etapa, în anii trecuți, nu a funcționat. Este vorba de matematica pura, nu de cea aplicată. În matem. pura lucrurile sunt mult mai complicate.

Am întrebat GPT referitor la demonstratia automata a teoremelor din matematica pura.
Va transmit răspunsul primit. La punctul 5, ChatGPT afirmă ceea ce spuneam și eu mai devreme. Din cauza marii complexități a acestor demonstrații (ale teoremelor din matematica pura), exista, încă, o foarte mare incertitudine, mintea omului rămânand baza construirii formei respective.
Cred că este normal sa fie astfel, cel puțin pentru moment.

 Demonstrarea automată a teoremelor în matematică pură implică utilizarea unor sisteme informatice pentru a verifica sau descoperi demonstrațiile teoremelor matematice. Aceste sisteme utilizează diverse metode și tehnici din domeniul inteligenței artificiale, logicii matematice și al informaticii teoretice. Iată câteva aspecte esențiale ale acestui domeniu:

### 1. **Proveri automati (Automated Theorem Provers)**
Proverii automati sunt programe de calculator care încearcă să demonstreze teoreme automat. Ei folosesc diverse metode, cum ar fi rezoluția, inducția matematică și alte tehnici de inferență logică. Exemple de astfel de sisteme includ:

- **Coq**: Un asistent de demonstrare a teoremelor bazat pe teoria tipurilor.
- **Isabelle/HOL**: Un sistem de demonstrare a teoremelor interactive care suportă logica de ordin înalt.
- **Lean**: Un sistem modern pentru demonstrarea automată a teoremelor, care combină diverse tehnici de inferență și calcul simbolic.

### 2. **Tehnici Utilizate**
- **Rezoluția**: O tehnică de inferență utilizată în logica de ordinul întâi pentru a demonstra inconsistența unui set de formule.
- **Inducția matematică**: Folosită pentru a demonstra propoziții de forma "pentru toate n, P(n) este adevărat".
- **Învățarea automată (Machine Learning)**: Recent, tehnicile de învățare automată au fost integrate pentru a ghida sistemele de demonstrare automată în explorarea spațiului de căutare a demonstrațiilor.

### 3. **Limbaje și Formate**
- **Tacticile**: Instrucțiuni de bază în limbaje precum Coq sau Lean pentru a ghida sistemul în construcția demonstrațiilor.
- **Limbaje de specificare**: Folosite pentru a descrie teoremele și axiomele, de exemplu, Gallina în Coq sau scripturile Isabelle.

### 4. **Aplicații și Exemple**
- **Demonstrarea teoremelor clasice**: Proverii automati au fost folosiți pentru a demonstra teoreme binecunoscute, cum ar fi teorema celor patru culori.
- **Formalizarea matematicii**: Proverii automati sunt utilizați pentru a formaliza teorii matematice complexe, asigurându-se astfel că demonstrațiile sunt corecte din punct de vedere formal.
- **Verificarea software-ului**: Multe principii și tehnici din demonstrarea automată a teoremelor sunt aplicate în verificarea formală a programelor pentru a asigura corectitudinea acestora.

### 5. **Provocări și Limitări**
- **Complexitatea computațională**: Multe probleme din matematica pură sunt extrem de complexe și pot necesita resurse computaționale uriașe.

- **Interacțiunea umană**: Deși automatele pot verifica demonstrații, generarea acestora încă necesită, de multe ori, intervenția umană pentru a ghida procesul.

### 6. **Exemple concrete**
- **Demonstrarea automată a teoremei celor patru culori**: Aceasta a fost una dintre primele demonstrații matematice asistate de calculator, deși a necesitat verificare umană substanțială.
- **Formalizarea teoremei lui Feit-Thompson**: Un exemplu notabil de teoremă complexă demonstrată utilizând Coq.

În concluzie, demonstrarea automată a teoremelor este un domeniu fascinant și în plină dezvoltare, având un impact semnificativ atât asupra matematicii pure, cât și asupra informaticii teoretice și practică.

E) Eu: Este fantastic! caci face adica ce ar realiza cu greutate un absolvent stralucit de matematica in multa vreme la fel cum in domeniul meu azi( si de cateva zeci de ani cu computerul) un baraj in arc cu bolti multiple este dimensionat in cateva min. (durata mare este sa dai datele de baza )
Credeti ca briciul lui Occam poate fi gasit de GPT(masina din Laputa) ca fiind ceva mai mult decat celelalte propozitii cu sens(adica cea mai probabil posibil in lumea noastra reala?) Si daca da, atunci poate va spune si ca legea lui Newton are probabilitatea maxima sa fie adevarata printre toate celelalte omogene dimensional adica cu sens ce pot fi emise? Masina din Laputa nu cred ca poate asta dar Chat oare ar putea si cred ca puteti contribui la el intrand in legatura cu autorii lui si intreband aceastea . Chat- ul acesta azi este cam cum a fost Deep Blue in anii 90, programele ulterioare de sah batand rau orice om (desigur ca vorbim de campionii mondiali)
O ultima intrebare cam retorica : mi-am pierdut memoria curenta, pe termen scurt cat si cea lingvistica, dar gandesc cu cea care inca recunoaste identitaea si care ma mai ajuta inca destul de bine.
Oare Chat si dezvoltarile sale poate inlocui o masina de tip Laputa si sa ma ajute, evident ca sub controlul meu, sa ramn macar tot atat de creator cat am fost si pana acum daca am fost astfel vreodata? Sau oare ma poate inlocui total?
Asta ete o intrebare deschisa pentru toata lumea.Ce ar eapunde despe sine Chat GPT nu stiu :)

F)  X  intraba despre asmanara Chat cu  Deep Blue si urmaza  primele informații date de către ChatGPT referitoare la asemănările și deosebirile de "Deep Blue", produs de catre IBM:

ChatGPT și Deep Blue sunt ambele produse ale inteligenței artificiale, dar au fost create pentru scopuri diferite și funcționează pe principii distincte. Iată o analiză a diferențelor și asemănărilor dintre ele:

### Deosebiri

1. **Scop și utilizare:**
   - **ChatGPT:** Este un model de limbaj natural creat de OpenAI, destinat generării de text coerent și răspunsuri conversaționale. Este folosit în aplicații de chatbot, asistență virtuală, traduceri automate și generare de conținut.
   - **Deep Blue:** Este un supercomputer dezvoltat de IBM special pentru jocul de șah. Scopul său principal a fost să joace șah la un nivel competitiv și să învingă jucători umani de top.

2. **Tehnologie și arhitectură:**
   - **ChatGPT:** Utilizează rețele neuronale profunde, în special transformatoare, pentru a învăța și a genera text. A fost antrenat pe un volum imens de date textuale pentru a înțelege și a produce limbaj natural.
   - **Deep Blue:** Folosește tehnici de căutare și evaluare bazate pe algoritmi specializați pentru șah, precum algoritmul de căutare în arbore (Alpha-Beta Pruning). Se bazează pe calcul brut și pe o bază de date extinsă de mutări și poziții de șah.

3. **Metoda de antrenare:**
   - **ChatGPT:** Este antrenat folosind învățarea supravegheată și nesupravegheată pe un corp mare de texte variate, pentru a învăța tiparele și structurile limbii naturale.
   - **Deep Blue:** Nu a fost antrenat în sensul modern al învățării automate. În schimb, a fost programat cu reguli de șah și a beneficiat de o putere de calcul enormă pentru a analiza milioane de poziții pe secundă.

### Asemănări

1. **Inteligența artificială:**
   - Ambele sunt exemple de sisteme de inteligență artificială, deși au fost dezvoltate pentru scopuri diferite și folosesc tehnologii distincte.

2. **Performanță de vârf:**
   - Atât ChatGPT, cât și Deep Blue reprezintă vârfuri ale inovației în domeniile lor. Deep Blue a fost primul computer care a învins un campion mondial de șah (Garry Kasparov) într-un meci oficial, iar ChatGPT este unul dintre cele mai avansate modele de limbaj natural disponibile publicului.

3. **Contribuții la domeniul AI:**
   - Ambele au avut un impact semnificativ asupra dezvoltării și înțelegerii inteligenței artificiale, demonstrând capacitățile și limitele tehnologiei în contextul sarcinilor complexe.

În concluzie, deși ChatGPT și Deep Blue au fost create pentru scopuri foarte diferite și folosesc tehnologii distincte, ambele sunt exemple remarcabile de aplicare a inteligenței artificiale pentru a atinge performanțe extraordinare în domeniile lor respective.

G) Eu raspund: Va multumesc, de fapt toate astea sunt dezvoltari de asteptat de la ceea ce au fost programele expert prin anii 80-90 primele folosindu- se cu succes in diagnoza medicala dar interesant ca acest urmas ChatGPT nu este recomandat inca pentru medicina diagnoza si tratament farmaceutic !?dar nici pentru spete juridice punctuale-asta inteleg si sunt de acord.

H) Chat raspunde la intrebarea pusa de X la sugetia mea::

X:Spre deosebire de cei din Laputa, care erau preocupați, în principal, de muzica, matematica și astronomie, personal sunt preocupat numai de matematica și partea clasica a muzicii (având și un pian in Sinaia, la care mai cant uneori), dar și de alte domenii interesante.( Nota mea ptr tine Printule: Si iata cum isi admira dl X buricul :)

Urmează răspunsul ChatGPT:

In cartea "Călătoriile lui Gulliver" scrisă de Jonathan Swift și publicată în 1726, insula zburătoare Laputa este una dintre destinațiile exploratorului Lemuel Gulliver. Laputa este un loc fascinant, dominat de știință și matematică, dar cu locuitori care par adesea mai preocupați de teorii abstracte și proiecte imposibile decât de problemele practice.

### Detalii despre Mașina din Laputa

**Insula zburătoare Laputa**:
1. **Tehnologie și Structură**: Laputa este o insulă circulară, având un diametru de aproximativ 4,5 mile și o grosime de 300 de yarzi. În centrul său se află un magnet uriaș care permite insulei să leviteze și să se deplaseze, controlată de locuitori prin intermediul unui complex de mecanisme și calcule astronomice.
2. **Magnetul**: Magnetul este orientat prin utilizarea unei mari busole montate pe axa sa. Prin ajustarea orientării magnetului, insula poate fi ridicată, coborâtă sau deplasată în diferite direcții, în funcție de forțele magnetice.
3. **Controlul asupra teritoriilor**: Laputanii folosesc insula lor zburătoare pentru a domina teritoriile de sub ea, cunoscute ca Balnibarbi. Dacă supușii de pe sol nu ascultă ordinele, Laputa poate bloca soarele și ploaia asupra unei regiuni sau poate ateriza direct pe orașe, distrugându-le.

**Societatea și Cultura Laputanilor**:
1. **Obsesia pentru știință**: Locuitorii din Laputa sunt descriși ca fiind extrem de preocupați de matematică, muzică și astronomie. Aceștia au capetele înclinate spre o parte și un ochi fixat spre zenit, ceea ce reflectă natura lor contemplativă și lipsa de concentrare asupra problemelor cotidiene.
2. **Moda și mâncarea**: Hainele laputanilor sunt decorate cu figuri geometrice și simboluri astronomice. Mâncarea este adesea servită sub formă de figurine geometrice.

**Satira lui Swift**:
Jonathan Swift folosește Laputa ca pe un instrument de satirizare a guvernelor și a științei excesive a timpului său. El critică oamenii de știință și filosofii care sunt atât de absorbiți de teoriile lor încât pierd contactul cu realitatea și cu problemele practice ale vieții de zi cu zi.

Laputa, prin excesele și absurditățile sale, reflectă o critică adusă ideii de superioritate intelectuală și arogantă, subliniind necesitatea unui echilibru între teorie și practică.

I) Eu rapund:
Mda....Constiincios ca un tocilar acest Chat dar nevazand inca  unele esentiale si nu din vina lui dar neavand material documentar creat anterior de niste oameni pe care sa-l exploateze dlui cu multa aplicatie  iar esenta desigur ca este ce v-am spus eu si iar desigur evident de ce nevazuta de soft.
Dar totusi fiindca intamplator mi-ati ridicat o minge la fileu :)

Eram convins si sunt inca referitor la faptul ca artistii au o componenta mai egolatra a personalitatii care -i detrmina a-si privii destul de intens buricul :)
Dar pe maura ce trece timpul incep sa cred ca nici oamenii de stiinta nu sunt scutiti de acest obicei si ca sa confirm chiar personal asta mi-l mai privesc si eu odata intrebandu-va ce spune Chat-ul asta despre ipoteza mea privind ,,gemenii homozigoti si speciatia" . Cred ca nu cine stie ce pentrca fiind o idee originala si nu scoasa din bibliografii, Chatul nu cred ca va face mare scofala desi eu sper sa mai scot ceva tot din aceste biliografii dar folosind probabil conexiuni si corelatii care depasesc softul care cand va ajung si el si poate va ajuge sa faca asta, va merita numele de AI si nu dococumentarist cum astazi ii spun eu .
Revazand textul deja scris  am observat ceva care mi se pare important si anume ca daca Chat-ul GPT nu are disponibila o bibliografie mai vasta si mai detailata depre problema pusa, nu prea are ce sa rapunda si nici o folosire de un ordin superior nu pare sa poata face actualmente pe bibliografia existenta ceea ce desigur ca cercetatorul poate, lucru de care cred ca si autorii sai sunt perfect constienti.
Aceasta observatie ma face sa cred ca Chat-ul in faza actaula poate fi utilizat si ca sa deosebim niste idei inedite de unele care de fapt spun cam acelasi lucru cu bibliografia exisenta lucru vizibil evident in raspunsul Chatului in care nu gasim idei originale adica macar inedite

In concluzie: Daca ma gandesc la ce inseamna originalitata unei cercetari, caracterul inedit al aceteia probabil ca una fara prea multa biliografie pe care sa o abordeze cumva, ar conduce la rezultatul ca Chat GPT ar avea rezultate slabe ceea ce ar putea fi un criteriu posibil pentru originalitate adica ideea respectiva are sansa, chiar sa fie originala adica sa poata constitui eventual o ipoteza stiintifica, adevarul ei nefiind la indemana unui soft de AI ci doar demonstrabil in practica cercetarii umane.
Adica daca pe vremea lui Newton, de fapt inaintea lui chiar si putin inaine, ar fi exitat un ChatGPT, acesta ar fi putut prezenta experientele lui Arhimede sau al lui Galilei dar nu cred ca ar fi gasit din ele mareata lege a inertiei daca nu cumva era scrisa pe undeva si nici legile mecanicii care cu siguranta nu erau scrise si raspunsul la referirea lor ar fi fot sarac daca nu cumva era implementat in soft ceva ca un principiu al simplitatii (Occam) dar oricum nu fi fost un raspuns amplu, legile de care vorbim fiind cele mai simple cu respectivul dictionar
Va multumesc pentru rabdarea urmaririi acestor idei dar fiindca dl prof dr X ne-a cerut opinia incerc sa o prezint cat mai fundamentata

Si cu asta Printule, te salut.








atanasu

I-am transmis raspunsul haios al Chatului si ma intreb care este algorimul pri cae sa gaeasca o gluma buna ? e destul de subtila intrebarea dar X a raspuns(el nu are simtul humorului) cam in stilul lui electron:
"Într-o perspectiva, chiar apropiată, mouse-ul se va desființa, un computer putandu-se acționa, doar  prin mintea umana. Atunci, elefanții se vor mai speria, cred, de mintea umană, și vor avea... multă dreptate."

princehansolo

I-am cerut 3 glume bune lui ChatGPT. M-a dezamăgit, dându-mi în limba română traduceri din engleză:
Eu: Mai zi-mi te rog 3 glume bune

ChatGPT
Desigur, iată trei glume bune pentru tine:

De ce a traversat puiul de găină strada?
Ca să ajungă de cealaltă parte!

Cum se numește un pește fără ochi?
Pșt!

Ce face un magician când îi este foame?
Dispare un sandviș!
Toate-s vechi și noi sunt toate

atanasu

#26
Dar ce asteptai?  Dar ce parere ai despre consideredele mele din respectiva discutie?

princehansolo

Îmi place "privitul buricului". Am nevoie de mai mult timp pentru a înțelege considerentele dumitale. Încerc astăzi sau mâine să răspund.
Toate-s vechi și noi sunt toate

atanasu

Eu cred ca l-am suparat pe X desi am zis ca ma refer la mine dar era destul de evident cine isi  admira buricelul  :)

Qwerty

Nu știu cum se creează subiecte noi.

As dori unul sa fie subiect dedicat cu numele Grigorii Yavlinskii.  Nu în zadar. Este om geniu actual al politicii și economiei.

Eu ba învinuit ca is kgbist, ba ca fac propaganda ba una ba alta. E bine asa fiecare sa fie criticat. Eu va rog ascultați și verificați ce spune acest înțelept.

Da eu înțeleg ca din România a fost rupta Basarabia,  apoi din Basarabia  Transnistria  și celelalte.
Yavlinskii în general sa zic în 1 propoziție spune ca NU este gluma și noi suntem azi responsabili DACA lăsăm sa escaladeze ( dar escaladează rău de tot) situația politica mondiala în special războiul din Ucraina,  dacă cit mai imediat focul nu se stinge în Ucraina riscam sa trăim.. . Dacă vom trai după... război Nuclear de proporții foarte mari, apoi nu va mai fi nici un sens despre democrație.

Restul întoarcerea teritoriilor de la Ucraina șezând pe divan și nimic nu făcând,  mai she's în criza de ai unde aproape toate tarile lumii au arme nucleare este ilogic.

Incetarea focului și omorurului cu seriozitate de atirnat nu fatis a striga una și a face alta.

Îl asculte de mult timp e unul din cei mai deștepți din lume, sper ca nu va trăda speranța și nu este un politician care se vinde cum alții au fost în care am crezut.

Acesta e ceva deosebit,  al în economia putreda a Rusiei a prevazut catastrofele carre urmau în anii '90, multe calcule și prognoze economice are. E înțelept

Dacă aveți văzute și demonstrate pete negre despre el care eu nu știu rog postați ca să nu cred orbește cumva în el