AI快开门
发现最好的AI工具
首页
分类
模型
模型历史
模型排名
模型价格
话题
简报
搜索
← 返回话题列表
#
Marco-o1
相关话题
2024-11-24
大模型推理与逻辑突破
GPT-o1、DeepSeek R1-Lite、Marco-o1 等新模型将推理阶段计算推向台前,数学证明、开放式问答、逻辑推演等任务精度显著提升,标志 LLM 正从“预训练”转向“推理时计算”新范式,为 AGI 铺路。
推理时计算
逻辑推理
AGI
Marco-o1
数学证明