自动推理
-
Claude独立攻克图论猜想，算法祖师爷高德纳震惊：AI首次被正式记录在数学研究论文中
近日，Claude独立攻克了一项图论猜想，其成果被正式记录于一篇数学研究论文中。这一事件引发了算法领域泰斗、《计算机程序设计艺术》作者高德纳（Donald Knuth）的深度关注与思考，标志着生成式AI在自动推理与创造性问题求解方面达到了新的里程碑。 高德纳在斯坦福大学官网亲自发布了一篇题为《Claude’s Cycles》的原始论文，开篇即以“…
-
DSPy 3与GEPA：革新RAG框架的自动推理与提示进化技术
近期，OpenAI 发布了 GPT-5.2 模型，引发了广泛关注。路透社报道称，OpenAI 在竞争压力下加速了研发进程。此次更新并非功能堆砌，而是聚焦于在智能、代码处理、长文本理解等核心能力上的显著提升，尤其擅长处理创建电子表格、制作演示文稿等复杂的多步骤任务。 简而言之，GPT-5.2 是一次面向实用场景的“精修”，在可靠性、长上下文处理、工具执行和输出…
