标签: 科研AI

0

Astra一次交出十项数学新结果：AI正在进入可验证的科研发现阶段

OpenAI内部版本Astra公布十项数学与理论计算机科学新结果，并同步交付论文、发现过程说明和Lean 4形式化证书。真正值得关注的不是“AI解出十道题”，而是一套人类选题、模型探索、形式系统验证、专家判断意义的科研生产流程正在形成。