Cercetătorii au creat un AI care poate inventa teoreme matematice

de S.J.     HotNews.ro
Joi, 2 decembrie 2021, 17:52 Science - Stiinte fundamentale


Ecuatii matematice
Foto: Alexandr Muntean / Alamy / Profimedia Images
De ce trebuie să studiem matematica? În urmă cu ceva timp unul dintre răspunsuri era că „păi nu o să ai mereu un calculator în buzunar!”. Însă smartphone-urile au rezolvat problema respectivă. Astăzi un matematician îți va răspunde probabil că avem nevoie de ea și intuiția umană pentru a rezolva unele din cele mai mari mistere ale universului, scrie IFL Science.

Unii vor răspunde că un computer va putea să calculeze rădăcina pătrată a lui 14,7 în mai puțin de o secundă dar e nevoie de ceva special pentru a demonstra teorema celor patru culori.

Din păcate pentru aceștia cercetătorii de la DeepMind au creat acum un AI capabil să demonstreze și chiar să sugereze teoreme matematice abstracte.

DeepMind este echipa de cercetători ai Google care a scris istorie în 2016 cu AphaGo, primul program pe calculator care a reușit să învingă un campion mondial la jocul chinez Go.

„Deși matematicienii au folosit anterior învățarea automată (machine learning) pentru a asista analizarea unor seturi complexe de date, aceasta este prima ocazie în care am folosit calculatoare în matematică pentru a ne ajuta să formulăm conjecturi sau sugera posibile căi de atac pentru idei nedemonstrate”, afirmă matematicianul Geordie Williamson, coautor al studiului publicat în revista Nature despre AI-ul „mathmo”.

Spații infinite și ecuații în mai multe dimensiuni


Williamson este un teoretician care lucrează cu obiecte imaginare incredibil de abstracte ca să găsească soluții pentru a le transforma în obiecte abstracte mai simple. Practic, dacă te-ai gândi la un domeniu al matematicii în care cercetătorilor să nu le fie teamă că ar putea fi înlocuiți de inteligența artificială, acesta ar fi unul din cele aflate destul de sus pe listă.

„Munca de a demonstra sau infirma conjecturi din domeniul meu presupune ocazional analizarea unor spații infinite și a unor mulțimi incredibil de complexe de ecuații în mai multe dimensiuni”, explică Williamson.

„Am demonstrat că, atunci când este ghidată de intuiția matematică, învățarea automată oferă un cadru puternic care uneori poate dezvălui conjecturi interesante și demonstrabile în zone în care sunt disponibile cantități mari de date sau unde obiectele sunt prea mari pentru a fi studiate cu metode clasice”, afirmă cercetătorul.

Una dintre aceste conjecturi, care acum pare mai ușor de demonstrat decât înainte, presupune polinoame numite Kazhdan-Lusztig, după cei doi matematicieni care i-au propus pentru prima dată.

Aceste polinoame sunt expresii matematice care au o serie de legături destul de profunde și fundamentale cu mai multe concepte abstracte din matematică.

Conjectura legată de aceștia a rămas neelucidată timp de 40 de ani însă Williamson crede acum că o soluție va fi formulată în cel mai scurt timp cu ajutorul DeepMind.

Noi teoreme matematice


Mai mult, talentele AI-ului dezvoltat de Google nu se limitează doar la asistarea unor matematicieni să rezolve probleme complexe.

Se pare că matematicianul AI este foarte capabil și în domeniul teoriei nodurilor, matematica...nodurilor (care este mult mai importantă decât sună).

DeepMind i-a ajutat pe Marc Lackeby și András Juhász, coautorii studiului publicat în Nature, să descopere și demonstreze o teorie cu totul nouă care leagă algebra de acest domeniu al matematicii.

„A fost fascinant să folosim învățarea automată pentru a descoperi legături noi și neașteptate între diferite ramuri ale matematicii”, afirmă Lackeby.

„Cred că munca pe care am făcut-o (...) demonstrează că învățarea automată este un instrument cu adevărat util în cercetarea matematică”, adaugă acesta.

„AI-ul este un instrument extraordinar. Intuiția ne poate duce departe dar inteligența artificială ne poate ajuta să găsim conexiuni pe care mintea umană s-ar putea să nu le găsească cu ușurință”, spune și Williamson.

Pe același subiect:








Citeste doar ceea ce merita. Urmareste-ne si pe Facebook si Instagram.

















2801 vizualizari

  • +12 (12 voturi)    
    cum traducem? (Joi, 2 decembrie 2021, 18:33)

    ber [utilizator]

    1."seturi incredibil de complexe"= multimi incredibil de complexe (set in limba engleza=multime in limba romana, este termen matematic)
    2. "acesti polinomi" nu e corect! Se spune aceste polinoame.
    Polinom, plural polinoame, este termen matematic si conform DEX este substantiv neutru.
    Altfel, articolul este interesant pentru un public avizat care doreste sa fie informat si este bine ca HN publica asemenea articole. Dar in cazul articoleleor referitoare la stiinta ar trebui cerut ajutorul specialistilor.
    • +1 (1 vot)    
      seturi incredibil de complexe (Vineri, 3 decembrie 2021, 2:13)

      mucenic [utilizator] i-a raspuns lui ber

      as traduce cu "aranjamente de ecuatii.incredibil de complexe". "Multimi " nu mi se pare o alegere fericita. Nici una nici cealalta nu sugereaza ce spune "set, setting" si probabil trbuie sa fie acceptat ca un neologism.
    • +1 (1 vot)    
      nu e vorba de multime matematica (Vineri, 3 decembrie 2021, 7:47)

      ras-putin [utilizator] i-a raspuns lui ber

      "data set" in engleza inseamna o colectie de date, poate fi de orice fel, si aranjata in orice chip. si poate echivala cu "set de date" in romana, care este si el un termen generic.

      dpdv matematic acel set de date poate contine multimi, ecuatii, axiome, teorii etc. scopul este ca AI-ul sa creeze ceva nou pornind de la ce se cunoaste deja.
    • 0 (0 voturi)    
      autorul nu a fost la scoala??? (Vineri, 3 decembrie 2021, 21:20)

      Mortaciune ambulanta [utilizator] i-a raspuns lui ber

      Am iesti la pensie, nu mai stiu cum se rezolva ecuatia de gradul III, dar "un polinom, doua polinoame" este o kestie de baza, in fond de gramatica, nu de matematica!
      Polinomi nu inseamna nimic!

      Multimi este clar mai bine decat set-uri, dar "grupuri de ecuatii.incredibil de complexe" ste mai corect.
      Oricum, trebuie sa remarcam din nou concizia limbi engleze, ei zic "set" iar noi trebuie sa explicam prin 506 cuvinte!!!
  • 0 (0 voturi)    
    Matematicianul AI? (Miercuri, 8 decembrie 2021, 23:00)

    ploiesteanu [utilizator]

    Adică inteligența artificială specializată în matematică? Se pune întrebarea fundamentală, mașinile pot fi inteligente? Sau dau impresia că sunt inteligente urmând niște algoritmi concepuți de om? Este o simplă convenție sintagma inteligență artificială?


Abonare la comentarii cu RSS

ESRI

Top 10 articole cele mai ...



Hotnews
Agenţii de ştiri
Siteul Hotnews.ro foloseste cookie-uri. Cookie-urile ne ajută să imbunatatim serviciile noastre. Mai multe detalii, aici.



powered by
developed by