OpenAI 下一代旗舰模型 Astra 成功证明了非索菲克群的存在并反驳了 Connes 刚性猜想等 10 项重大数学难题。官方已发布这些证明的 Lean 证书及完整的思维链（CoT）演算过程，涵盖冯·诺依曼代数、高维球体堆积界限及电路复杂性等广泛领域。这一成果标志着人工智能在高级数学推理与定理证明能力上实现了范式级突破，彻底拓宽了基础模型在复杂逻辑验证领域的应用边界。
Sebastien Bubeck 宣布其下一代大模型 Astra 成功证明了“非sofic群存在”并反驳了 Connes 刚性猜想，同时发布了 10 个附带 Lean 证书和思维链的数学证明。这些证明涵盖高维球堆积、电路复杂度等广泛领域，标志着人工智能在解决顶尖数学难题和形式化定理证明能力上实现了颠覆性突破，极大拓展了基础模型在复杂推理任务中的能力边界。
OpenAI高管确认，其下一代主力模型Astra的内部版本成功证明了包括“非sofic群存在性”在内的10项数学与理论计算机科学重大进展，并同步释放了形式化验证证书与思维链演练。该批证明按API计价总成本仅约2000美元，标志着AI在攻克人类顶尖数学难题与复杂逻辑推理能力上实现了突破性跨越。
模型原始判决不符合输出契约，已被系统改写为当前结论；CozeLoop span 里的原判决与此处不一致。
OpenAI 内部最新一代模型 Astra 成功解决了数学、量子复杂性及理论计算机科学领域的 10 个长期开放问题，其中包括计算永久性的新电路下界证明。这一突破性成果标志着人工智能在复杂科学推理与定理证明能力上实现了代际跨越，将深刻改变基础科学研究的范式与进程。
Sebastien Bubeck 宣布其团队的下一代大模型 Astra 成功证明了“非索菲克群存在”等10个全新的数学结果。官方将同步发布这些证明的 Lean 证书及思维链（CoT）演练过程，涵盖冯·诺伊曼定理延伸的多个领域。这一成果展示了 AI 在形式化数学推理与自动定理证明方向的突破性能力，对基础科学研究与前沿模型能力评估具有重要参考价值。
OpenAI 研究员 Noam Brown 透露，其下一代模型系列 Astra 的内部版本已成功解决数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，且生成这些证明的总成本不到 2000 美元。这一极低成本的突破性进展预示着即将推出的 Astra 模型将在科学推理能力上实现重大飞跃，有望极大加速前沿科学研究的进程。
OpenAI 总裁 Greg Brockman 官宣下一代主要模型“Astra”的内部版本，该模型专为多智能体长周期协同任务设计。Astra 已成功解决10项重大数学与理论计算机科学难题，按 Sol API 费率计算总成本约2000美元。这一预告展示了 OpenAI 在复杂推理和前沿科学问题求解上的重大突破，预示着其下一代旗舰模型已具备极高的能力水平，但最终命名及发布时间尚未确定。
Astra内部版本在10个长期未解的数学与理论计算机科学问题上取得新结果，并使用Lean完成了所有论证的形式化，总Token成本仅约2000美元。这一进展展示了新一代模型在复杂逻辑推理和形式化验证方面的极低成本与强大能力，预示着AI在攻克基础科学难题上的巨大潜力。
OpenAI 研究员 Noam Brown 透露，OpenAI 下一代主要模型家族 Astra 的内部版本已成功解决数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题。这一突破标志着人工智能在科学推理能力上迈出了重要一步，可能对基础科学研究范式产生深远影响。
OpenAI 研究员 Noam Brown 宣布，其下一代主要模型家族 Astra 的内部版本已成功解决数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题。这一突破标志着人工智能在复杂科学推理能力上实现了换代级跨越，预示着基础模型在解决人类顶尖科学难题方面迈出了决定性的一步。
OpenAI 下一代旗舰模型 Astra 成功证明“非sofic群存在”等 10 项数学定理，并将发布完整的 Lean 形式化验证证书与思维链演算过程。该模型此前曾在五月解决 Erdős 单位距离猜想，目前正由 Sam Altman 向美国国会进行演示，标志着 AI 在复杂逻辑推理与前沿数学证明领域取得重大突破。
OpenAI 总裁 Greg Brockman 宣布，其下一代核心模型 Astra 的内部版本在数学和理论计算机科学领域取得了十项重大进展，按 Sol API 价格计算总成本仅约 2000 美元。这一突破标志着人工智能在解决复杂科学问题和高级推理能力上实现了范式级跨越，极低的研究成本预示着 AI 驱动的科学发现将迎来爆发式增长。
研究人员透露，下一代主要模型Astra（与GPT-5.6相关）在数学和理论计算机科学的长期开放问题上生成了10个证明，其中包括计算永久函数的新电路下界。该项目由团队与模型合作，仅用一周时间即告完成。这一进展展示了下一代AI模型在加速基础科学研究和攻克经典学术难题方面的突破性潜力，对前沿AI能力边界的拓展具有重要指示意义。
下一代核心模型Astra的内部版本在数学与理论计算机科学领域的10个长期开放问题上取得全新结果，总计算成本仅约2000美元，并完成了所有论证的形式化。这一突破标志着AI在解决人类顶尖数学难题和逻辑推理能力上实现了范式级跨越，大幅拓展了基础模型的能力边界。
Sebastien Bubeck宣布下一代大模型Astra证明了包括“非sofic群存在”在内的10个新数学结果，并同步发布了包含Lean形式化验证证书和思维链（CoT）推理过程的证明文件。这展示了新一代AI模型在复杂数学推理和定理证明方面取得的重大进展，为理论研究提供了可靠的机器辅助验证能力。
OpenAI 研究员 Noam Brown 透露，公司下一代主要模型家族 Astra 的内部版本已成功解决数学、量子复杂性及理论计算机科学领域的 10 个重大开放问题。这一突破性进展标志着人工智能在复杂科学推理能力上实现了质的飞跃，预示着 AI 将在基础科学研究中发挥更核心的作用。业内人士对此反响强烈，认为该能力一旦公开验证并落地，将极大改变现有科研范式与技术格局。
OpenAI下一代核心模型Astra的内部版本成功解决了数学、量子复杂性及理论计算机科学领域的10个重大开放问题。据OpenAI研究员透露，按Sol API价格计算，生成这些证明的总成本不到2000美元。这一突破展示了Astra在科学推理和复杂问题求解上的强大能力，预示着AI在辅助前沿科学研究方面将迎来重大进展。
据传 AI 模型 Astra 已解决数学与理论计算机科学领域的 10 个重大开放问题，并计划在未来向公众开放。该消息引发了关于数学家群体面临职业存在危机的讨论，反映出业界对大模型在基础科学推理能力方面进展的高度关注与期待。
Sebastien Bubeck 宣布其团队的下一代模型 Astra 成功证明了包括“非索菲克群存在”在内的10个数学与理论计算机科学领域的重大开放问题。官方将发布这10份完整证明，并附带 Lean 形式化验证证书与思维链（CoT）推导过程，涵盖冯·诺伊曼代数等广泛领域。这一突破标志着人工智能在复杂数学推理与定理证明能力上实现了前所未有的跨越，实质性拓宽了 AI 解决人类未解科学难题的能力边界。
Sebastien Bubeck 宣布其下一代主力模型 Astra 成功证明了非索菲克群的存在等 10 个全新数学结果，并全部附带 Lean 形式化验证证书与思维链推导过程。Emad 转发并指出，该过程全程无人类干预，且 GPT 5.6 Sol 已在数学上实现零错误。这标志着 AI 在纯数学前沿研究的能力边界实现范式级突破，未来纯粹的数学研究项目或将完全由模型主导。
OpenAI下一代主要模型家族Astra的内部版本已成功解决数学、量子复杂性及理论计算机科学领域的10个重大开放问题。这一突破性进展标志着人工智能在复杂科学推理和前沿理论探索能力上实现了换代级跨越，将深刻改变基础科学研究的范式与进程。
OpenAI研究员披露其下一代旗舰模型家族Astra的内部版本，已成功解决数学、量子复杂性及理论计算机科学领域的10个重大开放问题，其中包括计算积和式的新电路下界。这一突破性进展标志着人工智能在顶尖科学推理与前沿理论证明能力上实现了代际跨越，将深刻重塑基础科学研究的范式与探索边界。
OpenAI下一代模型家族Astra的内部版本已成功解决数学、量子复杂性和理论计算机科学领域的10个主要开放问题。这一突破性成果展示了人工智能在复杂科学推理能力上的重大跨越，预示着基础科学研究正加速迈入由AI驱动的自动化发现新阶段。
OpenAI 下一代主要模型家族 Astra 的内部版本已成功解决数学、量子复杂性及理论计算机科学领域的 10 个重大开放问题。这一突破性进展由 OpenAI 研究员披露并获 Sam Altman 转发确认，标志着人工智能在复杂科学推理与前沿问题求解能力上实现了范式级跨越，将深刻改变科学研究的基础格局。
模型原始判决不符合输出契约，已被系统改写为当前结论；CozeLoop span 里的原判决与此处不一致。
OpenAI 下一代旗舰模型 Astra 成功证明了非索菲克群的存在并反驳了 Connes 刚性猜想等 10 项重大数学难题。官方已发布这些证明的 Lean 证书及完整的思维链（CoT）演算过程，涵盖冯·诺依曼代数、高维球体堆积界限及电路复杂性等广泛领域。这一成果标志着人工智能在高级数学推理与定理证明能力上实现了范式级突破，彻底拓宽了基础模型在复杂逻辑验证领域的应用边界。
模型原始判决不符合输出契约，已被系统改写为当前结论；CozeLoop span 里的原判决与此处不一致。
Sebastien Bubeck 宣布其团队的新一代大模型 Astra 成功证明了“非索菲克群存在”等多个全新的数学结果。团队同步发布了 10 份完整的 Astra 证明，每份均附带 Lean 形式化验证证书与思维链（CoT）推导过程，涵盖冯·诺依曼相关等广泛领域。这一进展展示了 AI 在高级数学推理与形式化定理证明领域的重大突破，为大模型解决复杂科学问题提供了高可信度的验证范式。
下一代大型模型Astra成功证明了“非索菲群存在”等10项科学领域的重大新结果。官方已发布这10项证明的完整内容，并附带了Lean形式化验证证书以及思维链（CoT）的详细推导过程，研究成果涵盖冯·诺依曼等广泛领域。这一进展标志着人工智能在复杂数学推理与前沿科学发现能力上实现了范式级突破，将深刻改变基础科学研究的探索路径。
OpenAI 下一代核心模型家族 Astra 的内部版本成功解决了数学、量子复杂性和理论计算机科学领域的 10 个主要开放问题，且生成这些证明的总推理成本不到 2000 美元。这一突破标志着 AI 在复杂科学推理和前沿问题求解能力上实现了代际跨越，预示着即将推出的 Astra 模型将极大加速科学研究进程。
OpenAI 下一代主要模型 Astra 成功证明了包括“nonsofic groups 存在”在内的 10 个全新数学结果，并同步发布了完整的 Lean 形式化证书与思维链推理过程。学者 Ethan Mollick 指出，相关证明的 API 成本不足两千美元，这标志着大语言模型在短短两年内从无法稳定进行基础运算，跨越到了具备解决前沿高级数学与科学问题能力的阶段，展现了新一代模型极高的应用价值。
OpenAI 透露其下一代大模型 Astra 的内部版本已在数学、量子复杂性及理论计算机科学领域针对10个问题生成了研究成果。这一进展展示了新一代模型在解决复杂科学与数学问题上的潜力，预示着 AI 在高级推理能力方面即将迎来重要突破。
研究员 Sebastien Bubeck 宣布其下一代大模型 Astra 成功证明了包括“非索菲群存在性”在内的 10 项数学定理，并发布了完整的 Lean 验证证书与思维链过程。学者 Ethan Mollick 评论称，AI 在专业领域的此类突破已超出普通人的理解范畴，未来模型能力的提升将越来越依赖专家的评估，大众对 AI 进化的感知门槛正在显著提高。
OpenAI 研究团队披露其下一代旗舰模型家族 Astra 的内部版本，已成功解决数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题。这一突破性进展标志着人工智能在复杂科学推理和攻克人类长期未解难题方面实现了能力边界的跨越，预示着 AI 驱动科学研究的新范式。
OpenAI 预热其下一代旗舰模型 Astra，并公布该模型成功解决了 10 个停滞十余年的数学难题（如非-sofic群存在），所有证明均附带 Lean 形式化验证与思维链过程。据透露，解决这些难题的算力成本仅约 2000 美元，且 CEO 萨姆·奥特曼正就模型发布事宜与美国政府进行沟通。这一经形式化验证的 SOTA 级突破标志着 AI 在复杂逻辑推理与前沿科学探索领域的能力边界被大幅拓宽，预示着新一代基础模型即将带来范式级的行业冲击。