** Legenda informatky Donald Knuth právě sdílel úžasný příběh: AI jménem Claude Opus vyřešil složitý matematický problém, se kterým se pasoval týdny. Přišel s pevným důkazem a elegantní konstrukcí. Tohle není jen další „AI porazil člověka“. Je to pohled, jak umělá inteligence opravdu spolupracuje s matikáři a posouvá hranice lidského poznání.