Новые языки будут 🙂 Спасибо всем, кто принял участие в обсуждение под предыдущим постом, это привело к изменению моей точки зрения 🤝 Во-первых современные LLM используют кросс-языковой трансфер и способны переносить знания из одного языка в другой без изначальных обучающих данных. Во-вторых, несмотря на то, что современные LLM работают на статистических распределениях токенов, модели рассуждений в том числе проводят пошаговое логическое рассуждение, а не просто предсказывают следующий токен. Здесь есть ограничение – эти способности не являются врожденной формальной логикой (модели учатся логическим правилам из примеров через индукцию). При этом математическое обучение на RL дает общий прирост в логике LLM (кросс-доменный). В-третьих, появляются языки, оптимизированные для использования LLM. Чем более ограничен и декларативен язык, тем точнее ИИ генерирует код.