OpenAI 分享 AI 在数学领域的研究进展
OpenAI 在 GitHub 上发布了其内部前沿模型在数学开放问题上的研究成果，并公开了 Lean 证明形式化文件和详细研究资料。该成果展示了 AI 模型在解决数学难题方面的能力进展。
#推理
OpenAI NewsAI 评分4242 Microsoft ResearchAI 评分5252 微软研究员访谈：AI 在哪些方面会出错以及失败教会我们什么
微软研究院的 Jennifer Neville 在播客访谈中分享了其团队在真实工作场景中评估 AI 系统的研究发现。研究发现，当任务在多次对话轮次中逐步澄清时，模型性能比单轮基准测试时显著下降，用户对此有强烈共鸣。