← 返回话题列表

# 逻辑推理

相关话题

2026-03-22

大模型逻辑与计算突围

MIT团队把可编程计算机嵌入Transformer，实现9.11>9.9等逻辑题100%正确，数独秒解，证明“概率式大模型+确定性计算”可弥补纯统计推理缺陷，为走向可验证、可信赖的通用推理提供新范式。
Transformer 内置计算机 逻辑推理 确定性计算 MIT
📰 1 条相关内容 查看详情 →
2024-11-24

大模型推理与逻辑突破

GPT-o1、DeepSeek R1-Lite、Marco-o1 等新模型将推理阶段计算推向台前，数学证明、开放式问答、逻辑推演等任务精度显著提升，标志 LLM 正从“预训练”转向“推理时计算”新范式，为 AGI 铺路。
推理时计算 逻辑推理 AGI Marco-o1 数学证明
📰 3 条相关内容 查看详情 →