Včera jsem překročil zajímavý práh, který myslím v poslední době překračuje i mnoho dalších matematiků. Uprostřed snahy dokázat výsledek jsem identifikoval tvrzení, které vypadalo pravdivě a které, pokud by bylo pravdivé, by pro mě bylo užitečné. 1/3

Místo toho, abych se to snažil dokázat, zeptal jsem se na to GPT5 a asi za 20 sekund jsem dostal důkaz. Důkaz se opíral o lemma, o kterém jsem neslyšel (tvrzení bylo trochu mimo mé hlavní oblasti), takže i když jsem si jistý, že bych se tam nakonec dostal, 2/3

Čas, který by mi to zabralo, by byl pravděpodobně řádově za hodinu (odhad, který přichází s poměrně širokými chybovými úsečkami). Vypadá to tedy, že jsme vstoupili do krátké, ale příjemné éry, kdy je náš výzkum výrazně urychlen umělou inteligencí, ale umělá inteligence nás stále potřebuje. 3/3

PS Pro případ, že by se někdo obával, že se jednalo o lemma, o kterém jsem neslyšel, jsem si ověřil, že to lemma není halucinace.