目录
逻辑推理
条目：16
2026年二月
12 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[ARXIV] | 3min | school
工具构建：通往高级智能的路径 02-25
LLM
超级智能
工具构建 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
分享AI模型在First Proof数学挑战中的证明尝试 02-24
数学推理
First Proof
研究级推理 |
[自动]
[HACKER_NEWS] | 9min | newspaper
Lean 4 定理证明器原理与AI竞争新优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[BLOGS_PODCASTS] | 3min | mic
Claude Sonnet 4.6 发布：综合性能升级与部分局限 02-19
Claude
Sonnet 4.6
Anthropic |
[自动]
[BLOGS_PODCASTS] | 3min | mic
Gemini 3 Deep Think：强化推理能力以解决科研与工程挑战 02-14
Gemini
Deep Think
推理模型 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
Gemini 3 Deep Think：升级推理模式以应对科研与工程挑战 02-13
Gemini 3
Deep Think
推理模型 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
Gemini 3 Deep Think推理模式升级，专注科研与工程挑战 02-13
Gemini 3
Deep Think
推理模式 |
[自动]
[BLOGS_PODCASTS] | 3min | mic
Gemini 3 Deep Think：强化推理模式以应对科研与工程挑战 02-13
Gemini 3
Deep Think
推理模型 |
[自动]
[HACKER_NEWS] | 3min | newspaper
大语言模型面临的幻觉与逻辑推理局限 02-12
LLM
幻觉
逻辑推理 |
[自动]
[HACKER_NEWS] | 4min | newspaper
大语言模型在逻辑推理与事实准确性上的局限 02-12
LLM
逻辑推理
事实准确性 |
[自动]
[ARXIV] | 4min | school
基于文本反馈扩展强化学习的能力 02-03
强化学习
RLHF
文本反馈 |
[自动]
[ARXIV] | 3min | school
误差分类引导的提示词优化方法 02-03
提示词工程
ETGPO
自动优化 |
2026年一月
4 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
阿里Qwen3-Max-Thinking深度思考模型！震撼发布🔥 01-27
Qwen3
通义千问
深度思考 |
[自动]
[HACKER_NEWS] | 3min | newspaper
🔥Qwen3-Max-Thinking！深度推理颠覆想象！ 01-26
Qwen
通义千问
深度推理 |
[自动]
[HACKER_NEWS] | 3min | newspaper
🔍 深度拆解：AI伪造数学证明的惊人真相！🚀 01-26
LLM
幻觉
数学证明 |
[自动]
[HACKER_NEWS] | 3min | newspaper
🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26
AI
数学证明
形式化验证 |
无匹配条目