Matematyka.pl

Dzien dobry!

Bardzo dlugo tutaj na forum nie zagladalem, nie wiem czy jest to nadal miejsce spotkan olimpijczykow, ale chcialem naswietlic jeden z tematow ktory moze olimpiade dotykac.

DeepMind jakis czas temu opublikowal papier gdzie jak twierdzi, wytrenowany model zwany AlphaGeometry, dowodzi zadanka z planimetrii na poziomie zlotego medalisty IMO. Robi to wraz z pelnymi dowodami. Jest to co najmniej imponujace, rzucam bo byc moze w jakims okresie czasu moze to np zawazyc jak wyglada I etap olmpiady oraz jako ciekawoste do ewentualnej dyskusji. Papier polecam przeczytac

To pokaż praktycznie jak to działa na razie widzę tylko opisy a zero konkretów...

nie wiem czy jest to nadal miejsce spotkan olimpijczykow,

szczerze to ja też nie wiem , trudno nawet powiedzieć jakie typy buszują po tym forum...

gdzie jak twierdzi, wytrenowany model zwany AlphaGeometry, dowodzi zadanka z planimetrii na poziomie zlotego medalisty IMO

to go pokaż w akcji...

Dodano po 9 godzinach 27 minutach 6 sekundach:
Co zamurowało nie? jak dochodzi do konkretów to grobowe milczenie

Ale jakich konkretow? To artykul w Nature, jesli chcesz uruchomic to i rozwiazac te zadanka lokalnie u siebie to masz instrukcje Nie do konca rozumiem.

To proponuję Ty uruchom i opisz co zrobiłeś i podaj wnioski i najpierw zapodaj jaki problem zechcecie rozwiązać u mnie liczą się konkrety...

Powiedz a zapomnę pokaż a zrozumie jak mawiał klasyk...

Myrthan, nie przejmuj się arkiem, on tak zawsze.

JK

Tak ale dobrze być konsekwentny

Z tego co rozumiem jest to de facto klasyczny algorytm brute force (przez angle chasing i podobne metody), któremu AI trochę podpowiada. Jest to na pewno ciekawe osiągnięcie, ale mam wrażenie, że nie tak imponujące jak podają media. Poczekajmy na AI do kombinatoryki i teorii liczb...