Сравнил этот ваш хвалёный опус 4.8 с дипсиком, на математических задачках: есть некоторая абстрактная игра, и надо с её помощью выразить некоторые понятия из cs. Так они отвечали едва ли не дословно:
"Сущности как объекты, перемещения как морфизмы" - дипсик
"Состояния как объекты, ходы как морфизмы" - опус
Структура ответа по 7 пунктам практически одинаковая, изоморфизм Карри-Ховарда упомянули в одинаковом контексте и т.п.

Дипсик в последнее время реально здорово поднялся, по достаточно сложному кодингу он клоду проигрывает конечно весьма ощутимо, но в целом очень хорош, бесплатен, и у него напомню есть API. Думаю, что уничтожить программирование через те же зависимые типы на нём при правильной формализации можно уже сегодня.

А главное, почему мы-то не идём таким же китайским дешёвым путём, а пилим "свой нейронка", да и ещё и с дорогущими токенами? Вопрос риторический конечно, и так всем очевидно :)

Также очевидно, что стратегически это тупик, потому что здесь наш удел чисто поверхностно потрепыхаться, потому что монополисты по технологиям создания llm - это фб и гугол, монополист в gpu железе + софте cuda - nvidia, ну и литография полностью под контролем америкосов.

Идти надо примерно туда, куда бреду я -- в сильную математику, чтобы послать на хер все эти агентские инженерные фреймворки. Ну а почему этого не будет на уровне национального проекта, тоже всем понятно: мышление лпр нужно не "здесь и сейчас распилить баблишка на хайповой темке", а всё же государственные мозги минимально хотя бы.

Хотя, тут я почти уверен, что дело не в отсутствии мозгов, а в кое-чём похуже:

"Я почти уверен, что замешаны не только англичане, но и кто то из нашего агентства. Это inside job. Без великой чистки наша страна обречена…"
-- Пелевин

Тем временем негатив к искусственному идиоту в мире растёт существенно быстрее, чем доходы от него (уж молчу про прибыль). Просто есть несколько мировых рынков (не только AI), которые пролоббировали мощную господдержку, и которые при этом куда меньше по размеру и куда менее прибыльны, чем профессиональная академическая математика (где нету никакого "прикладного полезненького"). Вопрос только в длине эффекта.

Возвращаясь к началу, продолжаю отлаживать литературную нейротехнологию, как с ГПиМММ, параллельно решил сделать второй микро-роман "пелевин-стайл", как мировые спецслужбы и тайные буддийские секты охотятся за случайно влипшим в историю математиком-неудачником. Сюжет детально полностью продумал сам, а генерацию кода текста на этот раз решил отдать не дипсику, а жпт 5.5, типа он считается "посильнее". Ага, если дипсик пишет где-то на крепкую тройку с плюсом, то жпт просто ужасно, практически на двойку. Правлю его немного, а так надо по сути переписывать вообще всё, он пишет корявейше примерно как Мастер Йода :)

Ставь китика если будешь читать такую нетленку; наберётся хотя бы десяток чейтателей, доделаю. На вечерок почитать, думаю, вполне будет норм.