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 来参与设计语言，应该会很厉害吧。