Google DeepMind spune că modelele sale de inteligență artificială se află acum la un „standard de nivel de argint” în matematică complexă, după ce a rezolvat patru din șase probleme ale Olimpiadei Internaționale de Matematică din acest an – una dintre cele mai dure competiții de matematică din lume.
Pe 25 iulie, Google DeepMind a declarat că a realizat progrese în rezolvarea problemelor avansate de raționament în matematică pentru AlphaProof și AlphaGeometry 2.
Matematica a fost considerată un punct de referință crucial pentru dezvoltarea AI. Matematica complexă, cum ar fi geometria, necesită abilități intuitive și creative de rezolvare a problemelor și abilități de raționament sofisticate.
AlphaProof este un nou sistem bazat pe învățare prin întărire pentru raționamentul matematic formal, iar AlphaGeometry 2 este o versiune îmbunătățită a unui sistem de rezolvare a geometriei.
Cele două sisteme au rezolvat patru din șase probleme de la Olimpiada Internațională de Matematică (IMO) din acest an, „atingând același nivel ca un medaliat de argint în competiție pentru prima dată”, a declarat firma.
IMO este cea mai veche, mai mare și mai prestigioasă competiție pentru tinerii matematicieni. Se desfășoară anual din 1959, iar evenimentul din acest an din Marea Britanie a participat la peste o sută de țări.
Google a explicat că Olimpiada a devenit recunoscută pe scară largă ca „o mare provocare în învățarea automată și un punct de referință aspirațional pentru măsurarea capabilităților avansate de raționament matematic ale unui sistem AI”.
Profesorul Sir Timothy Gowers, medaliat cu aur IMO, a comentat:
„Faptul că programul poate veni cu o construcție neevidentă ca aceasta este foarte impresionant și cu mult peste ceea ce am crezut că este stadiul tehnicii.”
Google a practicat anterior modele matematice AI cu un sistem numit AlphaGo care a învățat să joace jocul de societate Go și l-a învins pe legendarul jucător de Go Lee Sedol în 2016.
Cercetătorii au combinat acum succesorul AlphaGo, cunoscut sub numele de AlphaZero, cu modele de limbaj pre-antrenate pentru a crea AlphaProof. Se antrenează rezolvând milioane de probleme traduse în limbajul formal de programare „Lean”.
Între timp, AlphaGeometry 2 este un sistem hibrid neuro-simbolic bazat pe modelul Google Gemini AI, cu capacități îmbunătățite de rezolvare a problemelor de geometrie.
Compania a declarat că echipele sale AI „continuă să exploreze mai multe abordări AI pentru avansarea raționamentului matematic și intenționează să lanseze mai multe detalii tehnice pe AlphaProof în curând”.
Potrivit unui raport al veniturilor din al doilea trimestru de la Google, Alphabet, s-au cheltuit foarte multe pentru cercetările legate de AI la DeepMind. Pierderea „activităților la nivel de alfabet”, cauzată în principal de banii cheltuiți pentru cercetarea și dezvoltarea IA, a ajuns la 2,3 miliarde de dolari pentru T2, aproape dublu față de aceeași perioadă a anului trecut.
Înrudit: 4 lucruri pe care utilizatorii Google Gemini le vor putea face în curând
Între timp, concurența AI a continuat să se încălzească.
Potrivit unui raport Reuters din 15 iulie, producătorul de ChatGPT OpenAI lucrează la o abordare nouă a modelelor sale de inteligență artificială într-un proiect cu numele de cod „Strawberry”. Se pare că modelul este conceput pentru a îmbunătăți în mod dramatic capacitățile de raționament AI și pentru a permite cercetarea autonomă pe internet profundă.
În plus, pe 25 iulie, OpenAI a anunțat lansarea unui prototip de motor de căutare bazat pe inteligență artificială, numit SearchGPT.
Pe 23 iulie, CEO-ul Meta Mark Zuckerberg a declarat că firma face următorii pași pentru ca AI open-source să devină standardul industriei, în timp ce a anunțat lansarea celui mai recent model al său, Llama 3.1.
Revista: 1 milion de dolari pariază că ChatGPT nu va duce la AGI, utilizarea inteligentă a AI de către Apple, creșterea milionarilor AI: AI Eye