AI 大模型是否有辅助设计编程语言的 skill？

• 前些天菲尔兹奖一顿火热，都在关注 AI 辅助数学研究。
• 我看到 C++ 20 的语法，就觉得挺纠结的。

template <typename T>
  requires requires (T x) { x + x; } // `requires` 同时使用在 concept 的定义和使用上
T add(T a, T b) {
  return a + b;
}

• 就是这个 requires requires 就很怪异。
• 假如让 ai 来参与设计语言，应该会很厉害吧。