OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 公布了内部前沿模型在数学开放问题上的新研究结果，并在 GitHub 上分享了 Lean 证明形式化与研究细节。
推荐理由：OpenAI 公布内部前沿模型在数学开放问题上的新结果，并同步开放 Lean 证明形式化与研究细节，可作为判断其数学推理能力边界的依据。
#GitHub
OpenAI News精选AI 评分6363
Berkeley AI ResearchAI 评分5252 SPEX 与 ProxySPEX：大规模识别 LLM 中的交互
Berkeley AI Research 提出 SPEX 与 ProxySPEX，利用稀疏性与低度性把交互发现转化为可解的稀疏恢复问题，将交互发现规模从数十扩展到数千个组件。