AI Stack

TAGS / TERM

逻辑推理

共 19 篇

  1. OpenAI研究员探讨提升大语言模型期望的高回报活动 2026-03-15 · BLOGS_PODCASTS
  2. 面向大模型的1v1编程对战游戏 2026-03-07 · HACKER_NEWS
  3. 展示 LLM 表现不佳的 1v1 编程游戏 2026-03-07 · HACKER_NEWS
  4. 工具构建：通往高级智能的路径 2026-02-25 · ARXIV
  5. 分享AI模型在First Proof数学挑战中的证明尝试 2026-02-24 · BLOGS_PODCASTS
  6. Lean 4 定理证明器原理与AI竞争新优势 2026-02-21 · HACKER_NEWS
  7. Claude Sonnet 4.6 发布：综合性能升级与部分局限 2026-02-19 · BLOGS_PODCASTS
  8. Gemini 3 Deep Think：强化推理能力以解决科研与工程挑战 2026-02-14 · BLOGS_PODCASTS
  9. Gemini 3 Deep Think：升级推理模式以应对科研与工程挑战 2026-02-13 · BLOGS_PODCASTS
  10. Gemini 3 Deep Think推理模式升级，专注科研与工程挑战 2026-02-13 · BLOGS_PODCASTS
  11. Gemini 3 Deep Think：强化推理模式以应对科研与工程挑战 2026-02-13 · BLOGS_PODCASTS
  12. 大语言模型面临的幻觉与逻辑推理局限 2026-02-12 · HACKER_NEWS
  13. 大语言模型在逻辑推理与事实准确性上的局限 2026-02-12 · HACKER_NEWS
  14. 基于文本反馈扩展强化学习的能力 2026-02-03 · ARXIV
  15. 误差分类引导的提示词优化方法 2026-02-03 · ARXIV
  16. 阿里Qwen3-Max-Thinking深度思考模型！震撼发布🔥 2026-01-27 · HACKER_NEWS
  17. 🔥Qwen3-Max-Thinking！深度推理颠覆想象！ 2026-01-26 · HACKER_NEWS
  18. 🔍 深度拆解：AI伪造数学证明的惊人真相！🚀 2026-01-26 · HACKER_NEWS
  19. 🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 2026-01-26 · HACKER_NEWS