OpenAI 发布内部前沿模型生成的数学成果合集
OpenAI 发布由内部未公开前沿模型生成的数学成果，GitHub 合集含 722 篇手稿、372 个结果系列，涉及长期未解问题。许多证明已用 Lean 形式化验证。
仓库称，模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力，评估期间约尝试 4000 道题，并提供 10 份推理摘要。部分结果仍处于验证阶段。
The Verge | GitHub | OpenAI
Post #1595
2
- Oct 7, 2026佛州女子因 Claude 威胁被控重罪 佛罗里达州李县一名女子因与 Anthropic Claude 的对话中出现威胁内容被报告给警方，随后因重罪指控被捕。警方文件称，她 9 月…
- Oct 7, 2026ChatGPT 将自动预测年龄并启用青少年模式 OpenAI 表示，ChatGPT 会综合话题、使用时段、频次和账户时长等信号，预测用户是否未满 18 岁；若判断为未成年且符合条件…
- Oct 7, 2026#2026年10月7日，星期三，农历八月廿七，每天60秒简报 1、国庆假期第6天：全社会跨区域人员流动量超3亿人次，铁路预计发送旅客2210万人次； 2、交通运输部：预计10月7日…
- Oct 7, 2026重置了
- Oct 7, 2026OpenAI 发布第 2 天更新：加入自动审查与决策 API 第 2 天更新包括：Approve for me（自动审查）现已纳入套餐，不占用使用额度，启用时消耗量可为套餐额度的…
- Oct 7, 2026苹果联手 LG 将推门铃、门锁与恒温器 苹果即将进军智能家居，与 LG 合作开发门铃、恒温器等配件，还包括智能门锁、室内外摄像头和泛光灯摄像头，产品以 LG 品牌销售。苹果自家的升…