VABILO ŠTUDENTOM: Sodelujte na jesenskem tekmovanju Principia Fall Competition 2026!

☰ Meni

Ste študenti matematike ali vas zanima raziskovanje matematičnih problemov? Želite svoje znanje preizkusiti v praksi in sodelovati pri razvoju novih matematičnih dokazov?

Vabljeni k sodelovanju na jesenskem tekmovanju Principia Fall Competition 2026, ki bo potekalo od 1. oktobra do 30. novembra 2026.

Kaj je Principia Fall Competition?

Tekmovanje spodbuja študentske ekipe, da izberejo odprt matematični problem in ga razvijejo vse do zaključenega matematičnega rezultata. Pri tem lahko sodelujete samostojno ali v skupini prijateljev ter uporabite platformo Principia.

Projekt je sestavljen iz petih stopenj:

Rešitev problema – priprava matematičnega dokaza in preverjanje njegove pravilnosti.

Formalizacija v Lean-u – zapis in strojno preverjanje matematičnega dokaza.

Znanstveni članek ali predobjava – priprava dokaza v obliki znanstvenega članka, z ustreznim kontekstom in navedbo predhodnih raziskav.

Predstavitev rezultatov – priprava videoposnetka, članka, predavanja ali ilustrirane predstavitve, ki matematični rezultat približa tudi širšemu občinstvu.

Možne aplikacije – raziskovanje uporabnosti rezultatov v matematiki in zunaj nje.

Pomembno: Za sodelovanje v tekmovanju je treba dokončati vseh pet stopenj. Posamezen rezultat lahko pokrije tudi dve stopnji, posamezne faze pa lahko opravijo različni člani ekipe in v poljubnem vrstnem redu.

Nagrada

2.000 USD – nagrada se enakomerno razdeli med člane zmagovalne ekipe. Znesek se lahko poveča tudi z dodatnimi prispevki sponzorjev.

Ocenjevanje

Finalistične projekte bodo ocenjevali strokovnjaki iz mreže raziskovalcev, s katerimi sodeluje Principia.

Kako sodelovati?

Več informacij o tekmovanju in sodelovanju najdete na spletni strani: https://principia-math.com/fall

Za dodatna vprašanja se lahko obrnete na organizatorja prek elektronske pošte: anton@principia-math.com
christian@principia-math.com