「静态类型语言」共找到 1300 篇相关文章
阿里重磅开源 0.5B TTS + 0.8B ASR，支持跨语种音色克隆、说唱识别！
2025 年 AI 圈风向变了，开始卷端侧模型。阿里 FunAudioLLM 团队发布 Fun - CosyVoice3 0.5B 和 Fun - ASR - Nano 0.8B，TTS、ASR 双线程开源，是工程级版本，目标是在本地跑顺‘听 + 说’。
为Token付费是一件很愚蠢的事情，用户应该为智能付费丨RockAI刘凡平@MEET2026
RockAI创始人刘凡平在量子位MEET2026大会提出，AI下一阶段要让模型“活起来”，实现硬件觉醒。他认为为Token付费愚蠢，应关注端侧智能，突破Transformer和反向传播算法，群体智能是迈向通用人工智能新路径。
明天，极客公园大会主舞台，7 款今年最值得关注的 AI 产品，速来！
今年极客公园创新大会为7款AI产品策划「线下发布会」，7位创始人登台发布或更新产品。产品涵盖笔记、AI Agent、相机等类型，均有特色亮点，创始人还会分享经验与思考。
Meta通过简单算术解锁LLM SoTA性能
大型语言模型训练耗算力与时间，传统模型融合方法有局限。本文提出SoCE新方法，通过筛选专家模型、非均匀加权平均融合，在多评测中实现先进性能，为LLM优化提供新思路。
模型汤新做法！Meta｜提出“类别专家汤”：SoCE，大幅提升模型性能，刷新SoTA！
大语言模型领域，提升性能常需高算力、大量数据和长时间训练。Meta提出新型模型汤技术SoCE，通过分析类别相关性操纵模型权重，在BFCL上刷新SOTA记录，为开源社区指明低成本进化之路。
开源沉浸式「AI 教师工具」，学生还上什么补习班？
介绍开源项目ChatTutor，它是面向理工科的智能可视化教学助手，结合对话式AI与多类型可视化知识画布，能图文并茂讲解知识点，让复杂知识图形化呈现，提升学习效率，有望推动AI教育落地。
谷歌DeepMind最新论文，刚刚登上了Nature！揭秘IMO最强数学模型
谷歌DeepMind的AlphaProof在IMO获接近金牌的银牌成绩。它结合大模型直觉、强化学习和Lean形式化证明解题，虽在速度、泛化和读题上有局限，但开启了人类数学家与AI协作新阶段。
杨植麟带 Kimi 团队深夜回应：关于 K2 Thinking 爆火后的一切争议
上周，月之暗面发布并开源 Kimi K2 Thinking，主打“模型即 Agent”，引发广泛关注。今日凌晨，杨植麟等团队成员在 Reddit 开展 AMA 活动，回应 K2 Thinking 相关问题，如 KDA 机制应用、训练成本、速度与准确性平衡等。
程序员不再写代码，而是靠「感觉」！年度热词Vibe Coding背后的编程革命
‘vibe coding’被《柯林斯词典》评为2025年度词汇，它指用自然语言提示让AI协助编写代码。从键盘到语气，从逻辑到氛围，AI改写编程，也改变人类语言与思维，理性与感性开始融合。
Zero-RAG，对冗余知识说“不”
文章指出大语言模型知识冗余，RAG 检索效率低。复旦大学邱锡鹏提出 Zero - RAG，能精准识别并剪除冗余知识，砍 30%语料准确率掉点小，检索延迟降 22%，还介绍了其技术方案。