Anegdota o nauce matematyki za pomocą LLM: Próbuję zrozumieć transformaty Fouriera i na Boga, ten dowód nie ma sensu. "Działa", ale wydaje się całkowicie nieintuicyjny. Jednak podczas kąpieli wpadłem na pomysł nowej, bardziej intuicyjnej strategii dowodzenia...
Zamiast faktycznie to zrobić, po prostu powiedziałem Gemini 3 Fast ogólny zarys mojej pożądanej strategii dowodowej. I to działa!!! Przed AI, myślę, że po prostu bym się poddał; zmaganie się z nową strategią dowodową przy rzeczach, które rozumiem słabo, jest bardzo trudne!
Najlepsze, co mogłem zrobić w przeszłości, to przeszukać mnóstwo innych podręczników, aby zobaczyć, czy mogę znaleźć inną strategię dowodzenia. Ale teraz mogę przekształcić niejasną intuicję w sformalizowaną alternatywną strategię dowodzenia w mniej niż minutę!
Teraz dużo lepiej "rozumiem" ten wynik: dla mnie ten dowód jest wyraźnie dowodem, który Bóg zamierzał dla właściwości splotu, i znacznie mocniej umacnia moją intuicję wokół tego pojęcia niż dowód z podręcznika.
138