Anekdot om matematikinlärning genom LLM:er: Jag försöker lista ut Fouriertransformationer, och för mitt liv är det här beviset helt ologiskt. Det "fungerar" men känns helt ologiskt för mig. Men medan jag duschade fick jag en idé till en ny, mer intuitiv bevisstrategi...
Istället för att faktiskt göra det berättade jag helt enkelt för Gemini 3 Fast en vag översikt av min önskade bevisstrategi. Och det fungerar!! Innan AI tror jag att jag bara hade gett upp; Att kämpa sig igenom en ny bevisstrategi med saker jag förstår dåligt är väldigt svårt!
Det bästa jag skulle ha gjort tidigare var att leta igenom en massa andra läroböcker för att se om jag kunde hitta en annan bevisstrategi. Men nu kan jag omvandla en vag intuition till en formaliserad alternativ bevisstrategi på under en minut!
Jag "förstår" resultatet mycket bättre nu: för mig är detta bevis tydligt det bevis Gud avsåg för konvolutionsegenskapen, och det befäster min intuition kring detta koncept mycket starkare än lärobokens bevis
115