Joi, Google DeepMind a anunţat că sistemele AI numite AlphaProof și AlphaGeometry 2 au rezolvat patru din șase probleme din acest an. Olimpiada Internațională de Matematică (IMO), obținând un punctaj echivalent cu o medalie de argint. Gigantul tehnologic susține că aceasta este prima dată când un AI atinge acest nivel de performanță în prestigioasa competiție de matematică – dar, ca de obicei în AI, afirmațiile nu sunt atât de clare pe cât par.
Google spune că AlphaProof folosește învățarea prin întărire pentru a demonstra afirmațiile matematice în limbajul formal numit A se sprijini. Sistemul se antrenează prin generarea și verificarea a milioane de dovezi, abordând progresiv probleme mai dificile. Între timp, AlphaGeometry 2 este descrisă ca o versiune actualizată a Google mod anterior AI de rezolvare a geometrieiacum alimentat de un model de limbaj bazat pe Gemeni, antrenat pe mult mai multe date.
Potrivit Google, matematicieni de seamă Sir Timothy Gowers și Dr. Joseph Myers a marcat soluțiile modelului AI folosind regulile oficiale IMO. Compania raportează că sistemul său combinat a câștigat 28 din 42 de puncte posibile, chiar sub pragul de 29 de puncte pentru medalia de aur. Aceasta a inclus un scor perfect la cea mai grea problemă a competiției, pe care Google susține că doar cinci concurenți umani au rezolvat-o anul acesta.
Comentarii recente