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

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 )