Student se seznámí s nalezenými programy pro vytváření posloupností z On-line Encyclopedia of Integer Sequences a bude zkoumat jejich správnost.
Seznam odborné literatury
Thibault Gauthier, Miroslav Olsák, Josef Urban: Alien coding. Int. J. Approx. Reason. 162: 109009 (2023)
The On-Line Encyclopedia of Integer Sequences: https://oeis.org/
Předběžná náplň práce
Výzkum umělé inteligence se zpětnovazební smyčkou vedl k nalezení zhruba 100 000 drobných programů, které odpovídající posloupnostem z oeis.org - rozsáhlé databáze číselných posloupností. Mezi nalezenými posloupnostmi jsou například posloupnosti prvočísel, Fibonacciho čísel, Catalanových čísel, a mnoho dalších (a sofistikovanějších). Ale jak tyhle prográmky fungují? A jsou opravdu správně, když byla jejich správnost ověřena pouze numericky na konečně mnoho hodnotách? Samozřejmě není v lidských silách je ověřit všechny, ale jedna z možností je si vzít vzorek řekněme náhodných 20 posloupností, a získat statistický odhad. Student se rovněž může zaměřit na posloupnosti, které mu přijdou zajímavé, či odpozorovat jaké "myšlenky" tento umělý programátor používá. K rozboru programů je možné použít jejich export do Python kódu, případně interaktivní přepisovač, který k tomuto účelu napsal vedoucí (a který je možné dále vylepšovat).
