「推理严谨性」共找到 2503 篇相关文章
梁文锋，Nature全球年度十大科学人物！
权威科学期刊《自然》公布2025年度十大科学人物榜单，梁文锋因DeepSeek模型对AI领域的重要贡献与变革性影响成功当选。此外，中国研究员杜梦然也因相关研究入选，还有多位其他领域人物因各自成就上榜。
规范驱动开发：瀑布模型回潮
规范驱动开发（SDD）重拾编码前写大量文档理念，虽为AI编程提供框架，但可能让敏捷性被Markdown文档掩埋。文章探讨为何迭代性自然语言方法更契合现代开发需求，指出SDD存在诸多不足。
万卡时代，企业需要怎样的算力集群？
过去两年，AI算力需求跃升，消耗从训练主导转向推理驱动。企业算力需求有突发性等特点，智算集群是关键方案。InfoQ联合腾讯云发起直播探讨，还介绍了算力供给缺口、集群构建交付、性能优化及演进方向。
从 Apple M5 到 DGX Spark ，Local AI 时代的到来还有多久？
近期，黄仁勋将桌面级AI超算DGX Spark交付给马斯克引发热议。同时，Apple Silicon等芯片下放端侧推理能力，本地运行时和端侧模型供给加速成熟。但本地算力等问题仍制约消费终端Local AI大众化落地。
AI引发K型分化：Gemini 3 加剧技术劳动力分化，判断力为王，基础岗位将被AI完全替代，程序员也不例外
2025年11月Google发布Gemini 3，依托多模态MoE架构和“Deep Think”模式，在软件工程等领域实现推理能力质的飞跃。它使前端开发工作重心转移，重构软件工程工作流，赋能白领但带来隐患，还冲击劳动力市场，提升软件掌握门槛。
你急它不急：GPT-5先判断，再决定「速答」还是「深想」
OpenAI副总裁Jerry Tworek透露，GPT - 5能判断问题难度，分配思考时间，决定何时停下。它升级了推理能力，有了时间感，采用受控思考机制，提升了复杂任务准确率，减少幻觉。其进化历经o1、o3到GPT - 5阶段。
更会聊天、主打情绪价值，OpenAI 发布 GPT-5.1
今天凌晨，ChatGPT 模型升级为 GPT-5.1，官方主打更智能、更具对话性。它有 GPT-5.1 Instant 和 GPT-5.1 Thinking 两个子模型，本周内逐步向所有用户免费开放。升级重点在模型能力和个性化设置。
OpenAI新模型GPT-5.1发布，不跑分不刷榜，主打一个说人话
OpenAI发布GPT-5.1，主打更智能、更具对话性，无跑分打榜，有人设说人话。包括Instant和Thinking两个子模型，简单问题快，复杂问题智能。本周逐步向用户免费开放，还更新了语气风格等功能。
数据智能体全景报告发布！你的数据智能体在哪个 Level？
大语言模型爆发让「数据智能体」应运而生，但概念笼统成发展绊脚石。由多顶尖机构组成的联合团队发布论文，首提 L0 - L5 六级自主性分级标准，还对现有研究回顾审视，指明挑战并描绘未来图景。
AI时代，努力没用了!「躺平」才是最赚钱的方式
新智元报道，硅谷投资人Reid Hoffman认为AI扩散靠懒人推动，遵循「懒惰经济学」。他指出AI不会取代医生等职业，但会让他们被重新教育，还探讨了AI自主性、LinkedIn持久力及人与AI关系等问题。