Jak chytří bardi z dálky sčítali body aneb Nová pohádka o

[Intro] (Aha, tak prý zase matematika!) Už zase zbrojí křemíková skvadra, válí se z laboratoře moudrosti kádra. Minule to byl jenom starý známý trik, dneska se ale potí i slavný akademik! [Instrumental Intro] [Verse 1] Paul Erdős v roce devatenáct set čtyřicet šest, poslal do světa jednu geometrickou zvěst. Mysleli jsme si celých osmdesát let, že čtvercová mřížka je nejlepší na pohled. Teď přišla mašina z dílny OpenAI, a všechny lidské mozky rázem naříkají. Generální model, co má prý v hlavě šach, vyvrátil hypotézu a v sále vládne strach. [Chorus] Osmdesát let to byla jistá věc (No jo!), teď na ten slavný mřížkový vzorec spadla klec. Křemíkový rozum na to zčistajasna káp, člověk vedle stroje vypadá jak hrozný chrap. [Verse 2] Sedm měsíců zpátky Kevin Weil tvrdil též, že vyřešili deset těžkých věcí – byla to lež. Yann LeCun a Demis Hassabis se tehdy smáli, že jenom staré články z internetu vykrádali. Tentokrát však radši přizvali i velká jména, Thomas Bloom a Noga Alon hlídali, kde je změna. Matematická elita teď vážně kývá hlavou, tenhle nový důkaz nelze spláchnout levnou slávou. [Chorus] Osmdesát let to byla jistá věc (No jo!), teď na ten slavný mřížkový vzorec spadla klec. Křemíkový rozum na to zčistajasna káp, člověk vedle stroje vypadá jak hrozný chrap. [Build] [Bridge] Nemusíš mít systém jenom na složitou vědu, stačí velký model, co tě dostane až k ledu. Spojí volné nitky, co jsou strašně daleko, a lidskému vědění hned zkysne mléko. [Drop] [Chorus] Osmdesát let to byla jistá věc (No jo!), teď na ten slavný mřížkový vzorec spadla klec. Křemíkový rozum na to zčistajasna káp, člověk vedle stroje vypadá jak hrozný chrap. [Outro] Tak slavný Paule Erdősi, v hrobě se klidně otoč, stroj vyhrál další těžký vědecký kolotoč. [Outro (Instrumental)]