「自动化评估」共找到 1147 篇相关文章
AI哪怕答案正确,逻辑链却惨不忍睹,奥数级不等式证明成功率不到50%| 斯坦福&伯克利&MIT
斯坦福、伯克利、MIT等联合研究,系统评估29个大模型在奥数级不等式证明任务的能力。研究发现,模型答案正确多靠猜,推理漏洞多,参数大、思考久也不能提升推理严谨度,但自我反思和定理线索策略有改善效果。
分裂的丰盛:AI时代的财富会落到谁手里?
作者重读《国富论》,借亚当·斯密的思考探讨AI时代财富分配。指出AI带来‘分裂的丰盛’,分析了AI自动化的两面性,结合历史案例说明生产率与工资增长的关系,还从三层分析AI对财富的影响,并给白领提出四条建议。
AI「生肉证明」堆爆GitHub!陶哲轩重磅发声:只会解题没用了
陶哲轩判断数学从证明稀缺进入过剩时代,AI 使证明生成加速,出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积,而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。
端到端语音模型:从语音表征到模型架构
本文整理自阶跃星辰语音模型负责人杨学锐在2025年QCon全球软件开发大会的分享。介绍大模型对语音技术的重塑,涵盖识别、合成等方面;阐述端到端语音模型构建,涉及表征、架构、训推和任务;还提及模型评估方法。
张一甲:2025中国科技投资痛点、趋势与展望 | 甲子光年
8月21日,甲子光年创始人张一甲发布《2025中国科技投资:痛点、趋势与展望》报告。指出当前一级市场科技投资止跌回暖但堵点仍存,还阐述了硬科技引领、AI投资逻辑变化等七大趋势,最后用“星空坐标系”评估投资赛道。
CS博士求职8个月0 offer,绝望转行!斯坦福入学停滞,全美仅增0.2%
曾经热门的计算机专业渐成「冷门」,全美入学率仅增0.2%,斯坦福等校招生下滑。AI自动化初级编程岗位,致就业前景暗淡,如田纳西大学博士生求职8个月无果。不过也有人认为低迷或为短期,专家建议选培养可迁移技能学科。
把 Gemini 和 GPT 放到《我的世界》当教练,谁能看懂机器人的微操?
国立清华与英伟达团队研究《VLM-AR3L》,把Gemini 2.0、GPT-4.1等拉进考场,评估视觉裁决能力。结果显示Gemini综合最稳,开源小模型特定场景反超。还提出VLM-AR3L框架破使用瓶颈,实战超人类手写奖励。
五源刘凯:喧嚣只是表象,AI创业才刚刚开始|5Y View
五源合伙人刘凯在圆桌会上谈AI创业现状。他认为AI正从集中走向开放,创业者主动权增大。还提及投资AI项目的判断标准,指出ARR在C端产品失去参考价值,不同类型项目评估方式有别,且认为当下AI创业才起步。
Reasoning的最终答案可能不是模型想要的答案!
大型语言模型解决复杂问题有推理过程和答案,传统评估只看最终答案。论文提出最终答案可能不佳,中间步骤更值得研究。还介绍通过切割推理过程发现中间步骤藏玄机,提出‘分步检查法’提升模型表现,实验表明准确率最高提升13%等。
3万字长文带你WorkBuddy 从入门到精通
这是 WorkBuddy 的「从入门到精通」指南。介绍了它在 Windows 和 Mac 上的安装、登录、更新方法,功能涵盖新建任务、助理页面、项目页面等。还讲了技能、连接器、专家中心的使用,以及自动化、资料库、灵感等功能,还有实践案例、使用技巧和常见问题解答。