Anekdootti matematiikan oppimisesta LLM-tutkintojen kautta: Yritän selvittää Fourier-muunnoksia, ja tämä todistus ei millään tunnu järkevältä. Se "toimii", mutta tuntuu minusta täysin epäintuitiiviselta. Mutta suihkussa sain idean uudesta, intuitiivisemmasta proof-strategiasta...
Sen sijaan, että oikeasti olisin tehnyt sen, kerroin Gemini 3:lle Fastille epämääräisen luonnoksen haluamastani todistusstrategiasta. Ja se toimii!! Ennen tekoälyä luulen, että olisin vain luovuttanut; Uuden todistusstrategian läpikäyminen asioiden kanssa, joita ymmärrän huonosti, on todella vaikeaa!
Parasta, mitä olisin aiemmin tehnyt, olisi ollut penkoa monia muita oppikirjoja nähdäkseni, löytyisikö jokin muu todistusstrategia. Mutta nyt voin muuntaa epämääräisen intuition formalisoiduksi vaihtoehtoiseksi todistusstrategiaksi alle minuutissa!
Ymmärrän tuloksen nyt paljon paremmin: minulle tämä todistus on selvästi se todiste, jonka Jumala tarkoitti konvoluutioominaisuudelle, ja vahvistaa intuitiotani tämän käsitteen ympärillä paljon vahvemmin kuin oppikirjan todistus
122