AI科研 on AI内参 https://www.neican.ai/tags/ai%E7%A7%91%E7%A0%94/ Recent content in AI科研 on AI内参 Hugo zh-cn Thu, 28 May 2026 17:10:03 +0800 从概率幻觉到公理真理：Axiom Math如何重构机器智能的逻辑地基 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在软件工程、芯片设计等高安全要求领域的新范式。这一进程不仅是技术的进化，更是在重塑人类科学发现与真理验证的逻辑地基。 GPT-5 真的能“手搓”新科学？别急着让爱因斯坦下岗！ https://www.neican.ai/insights/gpt-5--20260115021004110-0/ Thu, 15 Jan 2026 02:10:04 +0800 https://www.neican.ai/insights/gpt-5--20260115021004110-0/ GPT-5 正在从“聊天搭子”转型为“科研霸主”，试图在数学和生物界大显身手。虽然它能否真正产生“原创想法”还吵得不可开交，但 AI 驱动的科研加速时代已经正式开启。 Anthropic“狂飙”：不只让Claude Code“上网页”，还要AI去“搞科研”！ https://www.neican.ai/insights/anthropicclaude-codeai-20251021151004955-0/ Tue, 21 Oct 2025 15:10:04 +0800 https://www.neican.ai/insights/anthropicclaude-codeai-20251021151004955-0/ Anthropic最近动作频频，不仅推出了网页和移动版的Claude Code，让写代码变得像“刷网页”一样简单，还发布了“科研版”Claude，让AI直接下场搞生命科学研究，表现甚至“碾压人类”。尽管经历了产品提前泄露的小插曲，但Claude Code已成为Anthropic的“摇钱树”，每年贡献超5亿美元，让这家公司赚得盆满钵满。