AI 数学研究取得突破

📂 精选资讯 · 📰 @pmarca

OpenAI 研究团队设计「证明器-验证器」循环，使LLM能解决数学前沿问题。该方法通过双模型协作验证，显著提升复杂数学推理的可靠性。

阅读原文