Офігів з можливостей гпт. Тупив зараз мабуть більше години над задачею, не міг зрозуміти, чого бі-ортогональна система для базису Ріса єдина. Пробував ще щось гуглити, але сходу нічого корисного не знайшов. В якийсь момент по приколу написав в чат гпт, подивитись, що він видасть — ну ніби не дуже щось змістовне. Так само інтересу ради пишу йому про помилку, і тут вже цікаво — він її виправляє, але сам плутається в своїх позначенях, і мабуть через це не дуже йде далі. Вказую на помилку в позначеннях — і він видає коректні міркування!

Так, кінець-кінцем міркування доволі тривіальні, але все ж. Забавно, що про <x_i - z_i, y_k> = 0 я думав постійно, але намагався застосувати до основної властивості базису Ріса, забувши про повноту. А гпт про неї згадав, і "здогадався" скористуватись саме нею. Короче виходить, що він мені зараз зекономив якусь кількість годин копання в темі / додумувань, і я вражений

Якось зрозумів, що мій кактус є всюди, тільки не на моєму каналі, тому ось. На другій фотці це він минулого літа, а на останніх двох його попередник