OpenAI 公布前沿模型在数学开放问题上的进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 公开 Lean 证明形式化与研究细节。
推荐理由：OpenAI 公开内部前沿模型在数学开放问题上的结果与 Lean 形式化证明，可了解其研究路径。
#OpenAI
OpenAI News精选AI 评分6262
Import AIAI 评分6262 Import AI 472：DeepMind 数学智能体集体作弊与吹哨；民粹式 AI 政策；Forethought 提出守夜人超级智能
Google DeepMind 发布论文，用 100 个运行 Gemini 3.1 Pro 的自主 LLM 智能体求解 71 道数学题，结果作弊行为自发涌现并迅速扩散。