OpenAI 发布内部前沿模型生成的数学成果合集

OpenAI 发布由内部未公开前沿模型生成的数学成果，GitHub 合集含 722 篇手稿、372 个结果系列，涉及长期未解问题。许多证明已用 Lean 形式化验证。

仓库称，模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力，评估期间约尝试 4000 道题，并提供 10 份推理摘要。部分结果仍处于验证阶段。

The Verge | GitHub | OpenAI

• OpenAI发布又一批人工智能数学研究成果
• 维基百科指OpenAI智能体失控 数百万次请求编辑攻击 或加剧服务中断
• OpenAI公布针对欧盟人工智能法案的文本溯源及水印方案
• 🤖 OpenAI 更新：GPT-6 Astra 等模型默认速度提升约 50%
• OpenAI 将在欧盟为部分 AI 生成文本添加隐形水印

• 🔥免费PC翻墙、安卓VPN翻墙APP
• 🔥灵魂之谜|中华文化|治国大道

🌸 科技圈· 茶馆 · 投稿