「生成式推理」共找到 4294 篇相关文章
AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了
陶哲轩判断数学从证明稀缺进入过剩时代，AI 使证明生成加速，出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积，而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。
陶哲轩：AI 已经把想法成本降到几乎为0了...
著名数学家陶哲轩在与播客主持人Dwarkesh Patel的对谈中分享使用AI一年后的观点，认为AI已将想法生成成本降至几乎为零，但验证和评估成新瓶颈，还探讨其对数学研究的影响及未来发展。
劈柴哥和哈萨比斯亲自站台！谷歌世界模型Project Genie刷屏，幕后团队揭秘60秒不是极限，内存是巨大约束
谷歌发布世界模型原型 Project Genie，用一句话或图就能生成可玩交互的实时虚拟世界，由劈柴哥和哈萨比斯站台。它基于 Genie 3、Nano Banana Pro 和 Gemini 构建，解决了世界模型长期以来的短板，目前处于实验阶段。
AI 播客原理解析
作者分享用豆包AI播客将英文长文转成高质量播客的体验，解析AI把文章变真人对话式语音播客的原理，涉及提示词工程和文字转语音技术，还介绍提示词写作与优化过程及长文处理方法。
脑机接口迈入医疗器械时代：临床、支付与商业化的三道门｜甲子引力X
今年脑机接口获首张侵入式三类医疗器械注册证，行业关注点转变。在「甲子引力X」圆桌对话中，六位投资人围绕临床、支付、商业化展开探讨，分享对不同场景的看法及对脑机接口走进生活的畅想。
Agent 的第一性问题：Proactive 与 Context 经济学
过去一年AI Agent能力提升，但用户体感未同步变好，原因在于人类注意力窗口有限。赛道分化，主动式桌面Agent是新方向，AirJelly是代表产品，五源资本对其创始人黄柏特进行访谈，探讨产品设计、应用场景等问题。
腾讯用AI把美术管线重新做了一遍，混元3D Studio架构曝光
腾讯推出专业级AI工作台混元3D Studio，可覆盖3D资产生产全流程，让生产周期大幅缩短。它有组件拆分、可控图像生成等七大核心技术模块，各模块对应关键阶段，实现无缝衔接与自动化。
错过血亏！我从2598个模板中，挖出了这10个神级AI工作流，让效率飙升~
作者从n8n的2598个模版中筛选10个实用工作流模板，覆盖多种场景，均为今年新开发且免费。模板开发思路和节点用法巧妙，有借鉴意义，还能提升AI生成工作流质量，文末可自取文件。
华为超树HTP：不写示例、不调PDDL，AI规划约束通过率飙升62.6%
文章介绍华为超树HTP，它是完全自主、可泛化的推理新范式。能让LLM在超树结构上完成规划，不依赖人工示例和外部规划器，在复杂规划benchmark上实现SOTA准确率并降低token成本，还阐述其原理、创新点及应用实例。
冲上热搜！美团大模型，靠「快」火了
国内外开发者亲测，美团新开源的LongCat - Flash - Chat模型速度超快，推理速度超每秒100个token。它来自美团LongCat - Flash系列，官网可直接用。该模型架构创新，训练方法高效，还做了专属和系统级优化，跑起来又快又便宜。