2024-07-26
한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina
IT House raportoi 26. heinäkuuta, että Google DeepMind -tiimi julkaisi eilen (25. heinäkuuta) blogikirjoituksen, jossa todetaan, että sen kehittämät AlphaProof- ja AlphaGeometry 2 -mallit voivat ratkaista edistyneitä matematiikan päättelyongelmia.Saavutettu hopeamitalin taso kansainvälisten matemaattisten olympialaisten pulmien ratkaisemisessa.
Johdatus tekoälymalleihin
AlphaProof: Uusi matemaattinen muodollinen päättelyjärjestelmä, joka perustuu vahvistusoppimiseen.
AlphaGeometry 2: Geometrian ongelmanratkaisujärjestelmän parannettu versio.
DeepMind-tiimi yhdisti kaksi tekoälymallia ja ratkaisi yhteistyössä neljä kuudesta tämän vuoden kansainvälisen matemaattisen olympialaisen (IMO) kysymyksestä, mikä saavutti ensimmäistä kertaa samat tulokset kuin kilpailun hopeamitalistit.
Maaleja tekevä joukkue
Kaksi DeepMind-tiimin asiantuntijaa teki pisteitä IMO:n pisteytyssääntöjen mukaisesti.
Professori Sir Timothy Gowers: Kuuluisa matemaatikko, IMO:n kultamitalisti ja Fields-mitalisti.
Tohtori Joseph Myers: kaksinkertainen IMO:n kultamitalisti ja IMO 2024 -kysymysten valintakomitean puheenjohtaja
Tekoäly kääntää kuusi IMO:n kysymystä matemaattiselle kielelle, jota malli ymmärtää.
AlphaProof ratkaisi kaksi algebrallista tehtävää ja yhden lukuteoriatehtävän määrittämällä vastaukset ja todistamalla niiden oikeellisuuden, ja yksi ratkaistuista tehtävistä oli kilpailun vaikein, jonka ratkaisi tämän vuoden IMO:ssa vain 5 pelaajaa.
AlphaGeometry 2 esittelee geometriaongelmia eikä ratkaise kahta kombinatorista tehtävää.
AI-mallin tulokset
IMO:n sääntöjen mukaan jokainen kuudesta kysymyksestä on 7 pisteen arvoinen, ja enimmäispistemäärä on 42 pistettä.
DeepMind-järjestelmä sai lopulta 28 pistettä, täydellisillä pisteillä jokaisesta kysymyksestä, mikä vastaa hopearyhmän korkeinta pistettä.
Vuoden 2024 kultamitalikynnys alkaa 29 pisteestä, ja virallisessa kilpailussa kultamitalia saavutti 58 609 osallistujasta.
IT Home liittää mukaan viiteosoitteen
Kerää ja järjestele viimeisimmät uutiset ja tee ne kaikkien tarkastettavaksi ilmaiseksi.
