DeepMind AI hits silver-medal standard in International Mathematical Olympiad

Cointelegraph · 2024-07-26T03:26:44.000Z

Google DeepMind says its artificial intelligence models are now at a “silver-level standard” in complex mathematics, after solving four out of six problems of this year’s International Mathematical Olympiad — one of the toughest mathematics competitions in the world. On July 25, Google DeepMind stated it had achieved breakthroughs in solving advanced reasoning problems in mathematics for AlphaProof and AlphaGeometry 2. Mathematics has been deemed a crucial benchmark for AI development. Complex maths such as geometry requires intuitive and creative problem-solving and sophisticated reasoning skills. AlphaProof is a new reinforcement learning-based system for formal math reasoning, and AlphaGeometry 2 is an improved version of a geometry-solving system. The two systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), “achieving the same level as a silver medalist in the competition for the first time,” the firm stated. The IMO is the oldest, largest, and most prestigious competition for young mathematicians. It has been held annually since 1959, and this year’s UK-based event saw more than a hundred countries participate. Google explained the Olympiad has become widely recognized as a “grand challenge in machine learning and an aspirational benchmark for measuring an AI system’s advanced mathematical reasoning capabilities.” Google AI performance compared to human scores. Source: Google IMO gold medalist Professor Sir Timothy Gowers commented: “The fact that the program can come up with a non-obvious construction like this is very impressive and well beyond what I thought was state of the art.” Google previously dabbled in mathematical AI models with a system called AlphaGo that learned to play the board game Go and defeated the legendary Go player Lee Sedol in 2016. Researchers have now combined the successor to AlphaGo, known as AlphaZero, with pre-trained language models to make AlphaProof. It trains by solving millions of problems translated into the formal programming language “Lean.” Meanwhile, AlphaGeometry 2 is a neuro-symbolic hybrid system based on Google’s Gemini AI model, with improved capabilities in geometry problem-solving. The company stated that its AI teams are “continuing to explore multiple AI approaches for advancing mathematical reasoning and plan to release more technical details on AlphaProof soon.” According to a Q2 earnings filing from Google parent Alphabet, there has been a lot of spending on AI-related research at DeepMind. “Alphabet-level activities” loss, which caused by primarily by money spent on AI research and development, reached $2.3 billion for Q2, almost double that of the same period last year. Related: 4 things Google Gemini users will be able to do soon Meanwhile, AI competition has continued to heat up. According to a July 15 Reuters report, ChatGPT maker OpenAI is working on a novel approach to its AI models in a project code-named “Strawberry.” The model is reportedly designed to dramatically improve AI reasoning capabilities and enable autonomous deep internet research. Additionally, on July 25, OpenAI announced the launch of an AI-powered search engine prototype called SearchGPT. On July 23, Meta CEO Mark Zuckerberg said the firm was taking the next steps toward open-source AI becoming the industry standard while announcing the release of its latest model, Llama 3.1. Magazine: $1M bet ChatGPT won’t lead to AGI, Apple’s intelligent AI use, AI millionaires surge: AI Eye

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

Explorați mai multe de la acest creator

Ultimele știri