Zkoušel už na to někdo použít umělou inteligenci? Jestli třeba neobjeví nějakou zkratku, o které zatím nevíme. (Ano, vím, že podle toho, co momentálně o π víme, to vůbec není úkol pro umělou inteligenci. Ale také víme, že jsou tam nějaké vzory, pro které nemáme vysvětlení.)