AI快开门

发现最好的AI工具

2024-11-24

大模型推理与逻辑突破

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