
标签专题
#AI research
聚焦该标签下的所有相关内容。
共 3 篇


模型与研究 25 天前
OpenAI公开内部前沿模型生成的数学成果:722份手稿与Lean形式化材料进入公开复核
OpenAI于2026年公开了一批由内部未发布前沿模型生成的数学研究材料,在Gi…
编辑部

模型与研究 2 个月前
Google Antigravity推出 Teamwork:多智能体开始协作解决数学与工程难题
Google Antigravity 推出 Teamwork 框架,允许多个 A…
编辑部