Fórum: Az MI egy IMO-geometria feladattal bírkózik...

Ez egy nagyon érdekes téma — valóban izgalmas látni, hogyan fejlődik az MI a matematikai feladatok megoldásában, még ha egyelőre emberi segítséggel kell is dolgoznia. Szerintem még rengeteg izgalmas beszélgetés születhet ebből!

Feltétlenül ajánlok egy másik érdekes videót is, amit véletlenül az előbbi hozzászólásomból kifelejtettem, de ugyanaz a téma, itt már kiemeli a feltöltő mennyire fontos, hogy általános célú MI (AGI) oldotta meg így a feladatokat, ráadásul nem fordították le azokat gépi nyelvre, hanem a versenyzők által kapott szövegezésből dolgozta ki a megoldást az MI: https://www.youtube.com/watch?v=-adVGpY_vSQ

Frissiben érkezett a hír, hogy megvan az AI-nak az aranyérem is, amit az idei IMO-n ért el. Biztos több videó is van már fenn erről, de én ezt hoztam, mert ez épp 3 napos. https://www.youtube.com/watch?v=PktE7KNg8WA

Hoppá, egy új rendszer is van: AlphaProof. Idei Imo feladatain 28 pontot szerzett, 1 ponttal lemaradva az aranyéremről, és persze úgy, hogy csak 1 geometria feladat volt idén, amit 19 másodperc alatt megoldott. Ami érdekes számomra, hogy még mindig embernek kell lefordítania a feladatokat a program számára, hogy megoldja, ami kb egy vicc.

Amúgy ezt sem "kifejezetten matematikai diákolimpia szintű geometriai problémák megoldására" fejlesztették, a sokkal egyszerűbb (nem olimpiai) példákon még jobb eredményeket ért el az AlphaGeometry is.

(... és igen, a címadásom nem ellenőriztem, a birkózik az természetesen rövid i, de ez már odavan!! :D )

Mire megy egy kifejezetten matematikai diákolimpia szintű geometriai problémák megoldására kifejlesztett mesterséges intelligencia program (az AlphaGeometry) egy konkrét versenyfeladattal, meddig jut benne, ha az GEOMETRIA BIZONYÍTÁST vár? Megoldja? ...és ha igen, erre a megoldására - így - mennyi pontot kapna vajon, versenyen...?

Ide mindenki írhat véleményt, kiváncsi vagyok!! Számomra rendkívül érdekes a téma, de hátha mást is érdekel! (Sajnos ilyen videók nincsenek magyarul szakfordítva, itt pedig az automata-fordító(feliratozás) nagyon bénácska, így aki nem tud jól angolul, az azért lehet, hogy itt-ott megizzad, de remélem így is hasznos - akinek segítség kell ide írhat, biztos kap segítséget, ha nem is feltétlenül tőlem, de remélem a többiektől! :-) (A feltöltés viszonylag új, 3 hónapja van fent!) https://www.youtube.com/watch?v=ZrjarkXS0Fo

(A videót én is felrakom, ha az eredeti link később eltűnne: https://www.youtube.com/watch?v=iexK7V4OfRI )