钛媒体· Edge AI Daily·· 24 天前AI 评分17
Edge AI Daily 早报（10月13日）：OpenAI 撤回 722 篇 AI 数学手稿、微软用 Qwen 做决策模型、OpenAI 默认上下文升至 500k
Edge AI Daily 早报（10月13日）
AI 导读
OpenAI 在 GitHub 一次性公开 722 篇由未发布内部模型生成的 AI 数学手稿，含 377 项新证明，发布不到两日即撤回 3 篇，目前仅约 42% 主要结论通过 Lean 形式化验证。
来源：钛媒体 · tmtpost.com