腾讯研究院AI速递 20240410
生成式AI
一、 突发！Meta将于下周推出Llama 3小版本，多模态、更加开放
1. Meta计划下周发布Llama 3的小型版本，大型版本将于今年夏季发布，预计具备类似GPT-4的图像问答功能；
2. 下周发布的小型版本将不具备多模态功能，但因运行成本低、速度快，在移动设备开发上有优势；
3. Llama 3旨在更开放地应对Llama 2的批评，预计最大版本将超过1400亿参数，小型版本发布更多作为营销策略。
https://mp.weixin.qq.com/s/2ktCxodFsXle_QH2S_uygg
二、 OpenAI创始大神手搓千行C代码训练GPT，附PyTorch迁移教程
1. Andrej Karpathy发布了一个使用纯C语言训练GPT模型的项目，不依赖现有深度学习框架，代码量约1000行，且与PyTorch兼容；
2. 项目核心包括直接在C/CUDA上训练大型语言模型（LLM），通过使用SIMD指令加速CPU版本，支持先进架构如Llama2和Gemma；
3. 卡帕西手动实现了模型的前向/反向传播，并提供了从PyTorch迁移到C的教程，强调内存使用效率和编程的精确性。
https://mp.weixin.qq.com/s/N-irJk1WXsH5HEPEh_R2IQ
三、 苹果Ferret-UI，能“看懂”手机屏幕上并能执行任务的多模态模型
1. Apple发布Ferret-UI，一种多模态移动UI语言模型，性能超越GPT-4V，特别是在UI屏幕理解和执行开放式指令能力上；
2. Ferret-UI通过“任意分辨率”技术，优化了对移动UI屏幕上小对象（如图标、文本）的识别，提升了视觉特征的细节；
3. 结合视觉元素与语言元素，Ferret-UI能理解用户指令并执行任务，展现出强大的推理能力和高效的UI交互性能。
https://mp.weixin.qq.com/s/uWGE2SmOrwE92crKs8GhXw
四、 Dify AI推出Workflow AI工具，只需拖拽即可轻松构建工作流
1. Dify推出AI Workflow，克服LLM输出不确定性，支持多步骤逻辑生成可预测输出，旨在企业环境中提高自动化和输出稳定性；
2. AI Workflow提供直观的拖放界面和核心节点（如LLM选择、工具、意图分类器等），支持自定义Python/Node.js代码，实现复杂的数据操作和条件逻辑；
3. 强调调试和测试的重要性，集成了强大的工具以保证LLM应用的可靠性，支持DSL导入导出功能，促进社区合作与分享。
https://mp.weixin.qq.com/s/xKVI3E0SZE49J4vwVH_MZw
五、 斯坦福提出AI Partner与AI Mentor社交技能训练框架：解救社恐
1. 杨笛一提出的APAM框架利用大型语言模型（LLM）为社交技能训练提供一对一陪聊，旨在使训练变得更容易、安全和有吸引力；
2. APAM分为AI Partner和AI Mentor，前者通过模拟对话练习场景，后者提供基于知识的个性化反馈，结合体验式学习与定制反馈；
3. 面对构建和部署AI Partner与AI Mentor的挑战，研究者通过四步法（解决问题技能、模拟对话设计、反馈提供、模拟环境集成）完成社交技能训练。
https://mp.weixin.qq.com/s/gGZ3V3ZsMfT8klvuCw7L4g
六、 腾讯云 AIGC 存储解决方案全面升级，数据清洗、训练效率翻倍
1. 腾讯云的AIGC云存储解决方案全面升级，使大模型的数据清洗和训练效率提升一倍，缩短所需时间一半；
2. 核心竞争力在于全面自研的存储引擎技术，包括对象存储COS、高性能并行文件存储CFSTurbo、数据加速器GooseFS等，满足PB级别海量数据采集需求，提升训练效率；
3. 解决方案优化AI大模型的研发和应用，支持海量数据处理，包括数据采集、清洗和模型训练等关键环节，为大模型企业提供强有力的技术支持。
https://mp.weixin.qq.com/s/DHbXaMD6ffQphuwX4ehe9g
七、 北大全新开源aiXcoder-7B代码大模型！聚焦企业软件开发场景
1. 北大开源的aiXcoder-7B代码大模型，专为企业软件开发场景设计，具有70亿参数，称性能超越340亿参数的Codellama；
2. aiXcoder-7B专注于企业真实开发场景，优化了代码生成补全和跨文件能力，在实际开发中表现优异，特别在CrossCodeEval评测集上展现出最佳效果；
3. 模型设计易于私有化部署和个性化定制，支持MoE架构，实现企业级个性化服务，旨在帮助开发者提高工作效率和代码质量。
https://mp.weixin.qq.com/s/YujpEG5XyAClLoxOH3yH4Q
八、 美团旗下公司光年之外推出AI儿童绘画App：孩子涂鸦秒变艺术创作
1. DoDoboo是针对4岁以上儿童的AI绘画应用，可将儿童涂鸦转化为艺术作品，无需prompt输入，简化操作流程；
2. 应用背后的AI技术识别涂鸦的形状、图案及意图，应用预训练算法进行增强和上色，转换为高质量艺术作品；
3. DoDoboo提供免费和付费版本，增强亲子关系，鼓励孩子的创造力和信心，后续将迭代包括AI伙伴、神奇百科和故事世界等功能。
https://mp.weixin.qq.com/s/tL9wVhyWpbDAHzA5isyXfg
前沿科技
九、 AI攻克费马大定理？数学家放弃5年职业生涯，将100页证明变代码
1. 英国数学家启动项目使用Lean重现费马大定理证明，将100页的证明转换成代码，目标是使证明过程可由计算机检查；
2. 项目允许Lean社区成员贡献，旨在创建一个开放的、众包式的证明过程，使之成为最复杂的计算机化方式证明之一；
3. Kevin Buzzard教授将暂停五年的教学任务来推进项目，期望将费马大定理的复杂数学思想转化为可编程形式，开启计算机辅助证明的新时代。
https://mp.weixin.qq.com/s/Xi-R6Qpj9ATsiqp6ZMDWyA
十、 设计超高效疫苗，普林斯顿团队开发首个解码mRNA序列大模型
1. 普林斯顿团队开发首个大模型解码mRNA非翻译区域序列，提高疫苗设计准确性；
2. 新设计的mRNA序列转录效率显著高于传统疫苗，提升了疫苗和治疗性蛋白质的生产效率；
3. 通过机器学习技术，加深了对mRNA非转录区功能的理解，推动科学研究和医学发展。
https://mp.weixin.qq.com/s/OVRY-R7gROFsGd8krd6fMQ
报告观点
十一、 马斯克最新预测：AI最快明年底超过人类智能而不是2029年
1. Elon Musk 预测 AI 可能在明年年底超越任何人的智能，而不是之前预计的 2029 年；
2. AI 硬件和计算力每年增长 10 倍，软件突破频繁，限制未来 AI 算力提升的主要因素将是电力供应；
3. Elon Musk 正在全力支持其 AI 初创公司 xAI，竞争开发比 GPT-4 更强大的 AI 模型 Grok 第二版本，预计 5 月完成。
https://mp.weixin.qq.com/s/3qqBmQLZFZvecpLP58UaPg
订阅下方合集，获取每日推送
