Anekdota o učení matematiky pomocí LLM: Snažím se pochopit Fourierovy transformace a za nic na světě mi tento důkaz nedává smysl. "Funguje", ale přijde mi to naprosto neintuitivní. Ale při sprše mě napadla nová, intuitivnější strategie důkazů...

Místo toho, abych to skutečně udělal, jsem Gemini 3 Fast jednoduše řekl vágní osnovu své požadované strategie důkazu. A funguje to!! Před AI bych to asi vzdal; Trápit se s novou strategií důkazů s věcmi, kterým špatně rozumím, je opravdu těžké!

Nejlepší, co bych v minulosti udělal, bylo prohledat spoustu dalších učebnic, jestli nenajdu jinou strategii důkazů. Ale teď dokážu neurčitou intuici převést na formalizovanou alternativní důkazní strategii za méně než minutu!

Výsledek teď "chápu" mnohem lépe: pro mě je tento důkaz jasně důkazem, který Bůh zamýšlel pro konvoluční vlastnost, a mnohem silněji upevňuje mou intuici kolem tohoto konceptu než důkaz v učebnici