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.
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
Ostatnio zmieniony 11 mar 2024, o 12:40 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód:Poprawa wiadomości.
Ostatnio zmieniony 12 mar 2024, o 06:25 przez admin, łącznie zmieniany 1 raz.
Powód:Usunięto aktywny link do strony zewnętrznej! sunięto cytowany tekst. Nie cytujemy całej treści postu, jeśli odpowiadamy bezpośrednio pod tym postem!
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...