「溯因推理」共找到 3180 篇相关文章
陶哲轩官宣AI数学基金首轮名单：29个项目瓜分1.3亿，数学界沸腾！
陶哲轩担任顾问的AI数学基金公布首批获资助项目，因提案质量高，资助金额从900万美元翻倍至1800万美元。首轮29个项目来自多所名校，单个项目最高获100万美元，旨在推动数学与AI结合。
MMAR与AudioTrust技术解读，音频大模型评测前沿进展分享 | AI Bench Talk直播预告
司南评测集社区 CompassHub 收录多维度评测集。此次 AI Bench Talk 直播聚焦音频大模型，将分享评估其深度推理能力的 MMAR 及全方位可信评估框架 AudioTrust，还设圆桌讨论多模态/音频大模型相关议题。
微软老员工48岁生日被裁，妻子发帖怒斥算法裁人！全球大血洗6000人
微软全球裁员6000人，25年老员工生日当天被算法选中裁掉，他曾修复百万美元漏洞；TypeScript核心成员、AI总监也在裁员名单。微软称与绩效无关，是为简化管理层级，也可能因职位被AI取代。
2 天斩获 3.5K 标星！GitHub 惊现神器！一个二进制文件把 DeepSeek V4 搬进终端
GitHub上的DeepSeek TUI项目开源两天获3.5K Star，它把DeepSeek V4模型搬进终端成编码智能体，有原生RLM并行推理等亮点，提供多种安装方式、支持多提供商，适合终端开发者。
GPT-5系列咋都爱说「哥布林」？原因找到了
OpenAI发布博客解释模型迷上「哥布林」的原因。原来是训练“Nerdy”人格时，奖励信号偏爱怪物词汇，强化学习将风格固化并扩散到普通对话。此前DeepSeek V3.1也出现过「极」字Bug。
我花499找人上门安装OpenClaw，看到了AI时代最魔幻的一幕。
作者花499元体验OpenClaw上门安装服务，发现市场价格混乱，从30到5000元不等。安装师傅非技术出身且自己少用该工具。同时指出OpenClaw有安全隐患，提醒大家别因恐惧盲目安装。
微软独家：OpenAI最新季度净亏损115亿美元
微软2025年第三季度财报显示，因OpenAI投资亏损31亿美元。按微软持股比例推算，OpenAI上季度净亏115亿美元。不过，这或为研发支出，是AI产业“囚徒困境”，微软也在战略补贴。
Thinking Machines 发布又一神作「在线策略蒸馏」 ，LLM后训练效率飙升50-100倍
Mira的THINKING MACHINES开源「在线策略蒸馏」LLM后训练方法，结合两种主流后训练范式优点，提升训练效率50 - 100倍，成本降低9到30倍，可用于数学推理、模型个性化等场景。
GPT-5 核心成员详解 RL：Pre-training 只有和 RL 结合才能走向 AGI
本文编译 OpenAI 研究副总裁 Jerry Tworek 访谈，探讨 RL 与通向 AGI 路径。他认为 pre - training 与 RL 需结合，GPT - 5 是 o3 迭代，还谈及推理、模型发展、训练方式及 OpenAI 研究情况等。
AI时代，MrBeast和影视飓风教我的事：最好的内容都是无用的
文章借罗永浩与影视飓风Tim对谈引出话题，以MrBeast、迪士尼为例，阐述最好的内容无用，其价值在于创造体验、建立信任、打造IP。还指出AI时代，无用内容因不可替代更具商业价值。