编译问题」共找到 3259 篇相关文章

算法论文7

AI“压力面”,DeepSeek性能暴跌近30% | 清华&上海AI Lab

上海人工智能实验室等团队设计REST框架,在一个prompt里抛多个问题模拟多任务推理场景。测试发现即便顶级模型如DeepSeek - R1在“高压”下准确率也骤降,该框架能揭示模型差异,为评测提供新范式。

量子位
算法论文8

大语言模型离“数学证明高手”还有多远?斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准

现在很多大语言模型常给出看似正确的结论,但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路,构建IneqMath数据集及‘AI数学裁判系统’,研究发现很多模型推理不严谨,还给出两个提升准确率的办法。

AI前线
推荐文章8

OpenAI 工程师最新演讲:代码只占程序员核心价值的 10%,未来属于“结构化沟通”

OpenAI工程师Sean Grove演讲指出,代码只占程序员核心价值10%-20%,80%-90%在于结构化沟通。他认为规约比代码更优,还以GPT - 4o“马屁精”问题为例说明规约作用,最后畅想万物皆规约的未来。

AI科技大本营
新闻资讯7

内部爆料:Alexandr Wang上任第一把火,Meta大模型闭源

据知情人士,Meta新成立的超级智能实验室正讨论重大决策,高层对AI模型是否开源存分歧。Meta曾因性能问题延迟Llama 4版本,现完成Behemoth训练却因不佳延迟发布,还探讨放弃它开发闭源模型。

机器之心
新闻资讯7

美国版梁文锋来了

美国互联网券商巨头Robinhood的CEO Vlad Tenev投身AI创业,与Tudor Achim联合创立Harmonic AI,从数学突破开始,目前已完成B轮融资,估值达8.75亿美元,目标是构建数学超人类的AI系统。

量子位
推荐文章7

大语言模型(LLM)到底是怎么运作的?(配图通俗讲解)

文章先介绍条件概率,指出大语言模型预测下一个单词是条件概率问题,会计算所有可能单词的条件概率选最高的。还提到直接选最高概率会使内容单调,引出温度概念,它能调整概率分布影响抽样结果。

宝玉AI
产品应用8

腾讯3D生成模型上新!线稿可变“艺术级”3D模型,鹅厂内部设计师也在用

腾讯上新艺术级3D生成模型Hunyuan3D - PolyGen,支持生成复杂几何模型,鹅厂游戏工作室用后美术师建模效率提升超70%。该模型在拓扑功能实测表现佳,还介绍了其核心原理和技术。

量子位
新闻资讯7

2050年,衰老将被攻克?合成生物学教父揭秘长寿未来!

现代合成生物学教父George Church在采访中分享对生物技术的看法,认为基因测序等技术让大突破不远。预计2050年解决老龄化问题,体细胞疗法或让人‘返老还童’,还谈及复活物种、‘镜像生命’等,强调遗传咨询价值。

新智元
推荐文章7

本地LLM万字救场指南来了!全网超全AI实测:4卡狂飙70B大模型

文章围绕本地大语言模型(LLM)展开,针对实用性和经济性问题,用Dell Precision 7960塔式工作站对主流模型测试。涉及不同尺寸模型、推理框架等,给出不同配置下性能指标及使用建议,还模拟真实场景测试。

新智元
算法论文8

Cache Me If You Can:陈丹琦团队如何「抓住」关键缓存,解放LLM内存?

普林斯顿大学陈丹琦团队新论文聚焦长上下文语言模型 KV 缓存问题。传统 KV 缓存大小随输入文本长度线性增长,此前方法难公平比较。团队提出「KV 足迹」指标,改进方法并推出 PruLong 优化内存,节省空间且保性能。

机器之心