「云的形状」共找到 10903 篇相关文章
【万字长文】大模型训练推理和性能优化算法总结和实践
本文总结大模型落地的训练、推理和性能优化算法与实践，介绍语言模型发展，对比BERT、GPT等训练方式，分析生成式大模型问题，还阐述数据处理、推理优化及训练调优等内容，并给出不同场景技术选型建议。
高德 AI 别再打古典互联网战争了
高德切入团购市场，推出扫街榜。但在AI科技评论看来，团购已是美团和抖音的战场，高德下场或重蹈覆辙。高德优势在POI、数据和路线规划，应将地图升级为“生活操作系统”，不过实现空间智能存在障碍。
AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了
陶哲轩判断数学从证明稀缺进入过剩时代，AI 使证明生成加速，出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积，而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。
马斯克官宣数字AI员工！世界首富也来养龙虾，测试阶段员工把它当真人
马斯克在X上宣布数字擎天柱/巨硬AI项目，它是能在电脑自动操作的数字员工，可模拟公司运作。该项目早有记载，此前印度小哥曾爆料。巨硬项目曾遇阻，现以数字擎天柱形式推出，由xAI与Tesla联合打造。
理想首款AI眼镜，只卖1699元
理想推出首款AI眼镜Livis，售价1699元起，整备重仅36g，续航18小时。它能控车、有头枕音响，还可拍照录像。采用流式智能语音框架，核心亮点是理想同学语音助手，意在构建以车为核心的AI生态。
清库存！DeepSeek突然补全R1技术报告，训练路径首次详细公开
DeepSeek给近一年前登上《Nature》封面的R1论文补64页技术细节，正文大幅翻修。新论文展开R1完整训练路径，补充R1 - Zero分析，还披露安全评估细节。此外团队稳定，引发对其后续动作猜测。
成本不到8千美元！新浪微博1.5B小模型超越近万亿参数模型
新浪微博开源的VibeThinker - 1.5B模型，仅15亿参数、训练成本不足8000美元，却在顶级数学竞赛基准击败近万亿参数模型。它采用频谱到信号原则，分两阶段训练，性能出色，成本低且数据无污染。
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
现在很多大语言模型常给出看似正确的结论，但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路，构建IneqMath数据集及‘AI数学裁判系统’，研究发现很多模型推理不严谨，还给出两个提升准确率的办法。
颠覆医学！AI帮助无精男喜当爹，800万扫描找出3个生命火种
全球著名媒体CNN消息，一对饱受18年不孕不育折磨的夫妇，在哥伦比亚大学生育中心用STAR方法，靠AI在精液样本中找到3个精子助妻子受孕。STAR由该中心团队耗时5年研发，为患者提供新选择。
错过血亏！我从2598个模板中，挖出了这10个神级AI工作流，让效率飙升~
作者从n8n的2598个模版中筛选10个实用工作流模板，覆盖多种场景，均为今年新开发且免费。模板开发思路和节点用法巧妙，有借鉴意义，还能提升AI生成工作流质量，文末可自取文件。