AI导航网

继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。 4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。 Prover-V2的参...

在所有人都在忙着堆模型、比参数、拼融资时，一家总部位于巴黎的 AI 初创公司，用仅有 5 人的精简团队创造了ARR（年经常性收入）500 万美元，并已经实现盈利。它不靠爆款产品，也没有明星创始人，但它...

尽管LLM看似能够进行流畅推理和问题解答，但它们背后的思维链其实只是复杂的统计模式匹配，而非真正的推理能力。AI模型仅仅通过海量数据和经验法则来生成响应，而不是通过深刻的世界模型和逻辑推理来做决策。 ...

2025年，大模型在产业端加速行驶的轰鸣声正穿透技术的围墙。 这场始于技术、兴于场景的变革正在重塑各行各业的数字化版图。可以说，向产业化深入，就是当下人工智能最务实的命题。 当前，大模型正以前所未有的...

本届AWE2025展会共设置12个展馆，展示面积达16万平方米，吸引了超过1200家国内外企业参展，预计观展人次突破40万。AWE2025以“AI科技、AI生活”为主题，聚焦人工智能技术在家电及消费电...

你以为中国AI出海最牛的是字节？ 天真！ 在中国杭州的某个地方里，就藏着一家低调的出海AI应用王者。 他的名字叫杭州睿琪。 这个名字你八成没听过，闷声发大财的水平堪比武侠小说的扫地僧，点开公司的产品列...

刚刚，Gemini 2.5 Pro编程登顶，6美元性价比碾压Claude 3.7 Sonnet。不仅如此，谷歌还暗藏着更强的编程模型Dragontail，这次是要彻底翻盘了。 谷歌，彻底打了一场漂亮的...

「深度思考」成为模型的标配，Manus 这样会干活的 Agent 也开始介入我们的工作流，GPT-4o 的生图功能让每个人都能作出媲美专业的的风格。 今天凌晨，Runway 的新版本 Gen-4 又试...

随着人工智能（AI）融入日常生活的方方面面，科学家们正争分夺秒地研究其在心理、社会和认知层面的深远影响。从诊断心理健康问题到塑造政治观念，人工智能工具，尤其是像ChatGPT这样的大型语言模型，正深刻...

AI陪伴硬件热潮涌现，多品牌跨界布局，成熟产品仍待突破。 每个新品好像都是一个AI陪伴，又好像并不算是。 主打AI玩具、AI陪伴等概念的硬件产品，火热依然。 在近一个多月的部分公开信息中，有多款AI陪...