标签专题
#Mathematics
聚焦该标签下的所有相关内容。
共 5 篇
模型与研究 25 天前
OpenAI公开内部前沿模型生成的数学成果：722份手稿与Lean形式化材料进入公开复核
OpenAI于2026年公开了一批由内部未发布前沿模型生成的数学研究材料，在Gi…
编辑部
模型与研究 27 天前
Meta发布六篇与Muse Spark合作的数学论文：五篇回应开放问题，但人类验证仍在核心位置
Meta 发布六篇与数学家合作完成的论文，利用 Muse Spark 在普通聊天…
编辑部
