Анекдот про вивчення математики через LLM: Я намагаюся розібратися у перетвореннях Фур'є, і це доказ здається нелогічним. Це «працює», але мені здається абсолютно неінтуїтивним. Але під час душу мені спала на думку ідея нової, більш інтуїтивної стратегії доказу...

Замість того, щоб реально це зробити, я просто розповів Gemini 3 Fast розмитий план бажаної стратегії доказів. І це працює!! До ШІ, думаю, я б просто здався; Боротися з новою стратегією доказу з тим, що я погано розумію, дуже важко!

Найкраще, що я б зробив раніше — це переглянув багато інших підручників, щоб знайти іншу стратегію доведення. Але тепер я можу за хвилину перетворити нечітку інтуїцію на формалізовану альтернативну стратегію доказу!

Тепер я «розумію» результат набагато краще: для мене цей доказ явно є доказом, який Бог задумав для властивості згортки, і значно сильніше закріплює мою інтуїцію щодо цієї концепції, ніж доказ підручника