https://www.neican.ai/tags/%E9%80%BB%E8%BE%91%E6%8E%A8%E7%90%86/ Recent content in 逻辑推理 on AI内参 Hugo zh-cn Thu, 28 May 2026 17:10:03 +0800 https://www.neican.ai/insights/axiom-math-20260528171003312-1/ Thu, 28 May 2026 17:10:03 +0800 https://www.neican.ai/insights/axiom-math-20260528171003312-1/ Axiom Math通过将AI推理与Lean形式化语言验证闭环，成功解决了大模型幻觉问题，不仅在数学研究领域取得突破，更预示了AI在软件工程、芯片设计等高安全要求领域的新范式。这一进程不仅是技术的进化，更是在重塑人类科学发现与真理验证的逻辑地基。 https://www.neican.ai/insights/unified-thinker-ai--20260526154003418-0/ Tue, 26 May 2026 15:40:03 +0800 https://www.neican.ai/insights/unified-thinker-ai--20260526154003418-0/ Unified Thinker 架构通过解耦逻辑规划与像素生成，赋予 AI “三思而后行”的视觉生成能力。这一创新不仅弥合了开源与闭源模型的逻辑鸿沟，更标志着 AI 生成技术从概率拟合向可控的确定性规划演进。 https://www.neican.ai/insights/aiopenai80-20260521184003808-1/ Thu, 21 May 2026 18:40:03 +0800 https://www.neican.ai/insights/aiopenai80-20260521184003808-1/ OpenAI凭借通用推理模型独立破解埃尔德什单位距离猜想，标志着AI从科学“助手”正式升级为具备原创能力的“贡献者”。此突破揭示了AI在跨学科推理上的深层潜能，预示着全球科学研究范式将加速进入算法主导的智能化新时代。 https://www.neican.ai/insights/gemini-31-pro-openai--20260220111006093-0/ Fri, 20 Feb 2026 11:10:06 +0800 https://www.neican.ai/insights/gemini-31-pro-openai--20260220111006093-0/ 谷歌发布 Gemini 3.1 Pro，以翻倍的推理性能和不变的价格震撼业界，ARC-AGI-2 跑分远超竞品。谷歌通过“加量不加价”的策略，意图在 AI 推理时代重新定义竞争规则并加速商业落地。 https://www.neican.ai/insights/aieve-bodnia-20260211071007218-0/ Wed, 11 Feb 2026 07:10:07 +0800 https://www.neican.ai/insights/aieve-bodnia-20260211071007218-0/ Eve Bodnia 携手 AI 巨擘 Yann LeCun，通过创立 Logical Intelligence 挑战主流的自回归模型，致力于研发基于能量的推理模型（EBMs）。她主张 AI 应从单纯的概率预测转向严密的逻辑约束，试图解决 AI 幻觉问题，为 AGI 的实现开辟一条更稳健、可信的技术路径。 https://www.neican.ai/insights/ai4-20250618112004739-5/ Wed, 18 Jun 2025 11:20:04 +0800 https://www.neican.ai/insights/ai4-20250618112004739-5/ 香港科技大学团队发布的MATP-BENCH基准测试显示，当前多模态大模型（MLLMs）在理解图文结合的数学问题并将其形式化方面表现尚可（45%成功率），但在构建完整、可验证的形式化证明时，其成功率骤降至仅4%，暴露出模型在严谨逻辑推理和辅助线构造等深层能力上的显著不足，这指明了AI在迈向真正智能道路上的关键瓶颈。