OpenAIOpenAI 为下一代模型家族命名，并公布十道已解问题。它尚未发布任何产品。名为 Astra 的内部版本为数学和理论计算机科学中的十个长期悬而未决的问题给出了证明，且每个都已在 Lean 中形式化。该模型尚未发布，名称也只是暂定。3小时前
