「可验证性」共找到 5001 篇相关文章
为什么BF16的FlashAttention会把训练「炸掉」？清华首次给出机制解释，用极简改动稳住训练
社区里长期存在的FlashAttention+BF16训练GPT - 2时loss突然爆炸的问题，清华团队论文给出机制解释。指出是特定条件下数值偏置被放大所致，还给出极小修改稳定训练，且在多模型和硬件上验证有效。
40倍推理加速！复旦&微软：用「非线性流」拟合复杂轨迹，2步生成媲美原画
ArcFlow是复旦与微软提出的图像生成加速方案，引入非线性流拟合复杂轨迹。它在仅2步推理下保持画质，实现约40倍推理加速和4倍训练收敛加速，微调极少参数，在多模型验证效果出色。
智能老师的“成人礼”：一只中国独角兽如何在《时代》岸边重新定义“教育奇点”
2025年《时代》周刊“最佳发明”榜单中，松鼠Ai多模态智适应教育大模型作为教育科技领域唯一中国力量入选。其创始人栗浩洋锚定L5级自主教学目标，成果经多地实践验证，还推动教育公平走向全球，牵头制定AI教育标准。
字节悄咪咪上线了 AI 版抖音「随变」，在下什么棋？
临近春节，字节跳动 1 月初上线的「随变」App 在年轻人中流行。它类似「纯净版」AI 抖音，核心功能有 AI 形象生成等。字节借此在小体量社区验证功能，解决抖音年轻用户留存问题，也想抢占 AI 视频市场。
蚂蚁发布全球首个视频-动作世界模型，开源即刷新世界纪录
从Sora惊艳亮相到谷歌开放Genie 3线上体验，世界模型从概念走向交互世界。蚂蚁旗下蚂蚁灵波开源全球首个视频 - 动作世界模型LingBot - VA，可驱动机器人完成复杂操作，解决长时漂移等问题，还提出工程化解法。
全球爆红后，Clawdbot之父2小时深度专访：退休3年后我杀回江湖
新智元对Clawdbot之父Peter Steinberger进行近2小时专访。他分享AI编程工作流，如一天600个Commit、让AI验证代码、用多个Agent并行开发。他还讲述经历，认为AI时代程序员要关注系统架构，强调与AI融合。
全球最强AI音乐模型，现在来自中国！高晓松也来围观了
昆仑天工发布音乐模型Mureka V8，实测打败硅谷Suno V5成世界第一。它能生成完整可发布歌曲，结合MusiCoT技术实现从“能生成”到“能发布”跨越。高晓松等认可其变革潜力，昆仑天工联合太合音乐打通产业链。
台积电不相信AI有泡沫
台积电2025年四季度财报多项指标超预期，2026年资本开支大幅上涨。其3nm制程和先进封装优势明显，产能供不应求。AI算力需求爆发让英伟达成新大客户，预计2026年超苹果，台积电未来营收增长可观。
AI生成内容如何确权？全国首部区块链知识产权存证标准启动编制，欢迎参与起草！
区块链存证技术能解决知识产权确权、举证、维权难题，但实践中存证流程不规范等问题凸显。全国首部《基于区块链的知识产权存证管理规范》团体标准立项，正征集起草单位和起草人，可解决企业核心困境。
千问接入淘宝、闪购、飞猪，意味着什么？
2026 年初千问升级，上线任务助理并接入淘宝、闪购等。其能处理常见任务，但更重要的是可解决用户衣食住行等实际问题，虽目前部分场景待优化，但阿里有优势，不过千问也面临体验、协同和商业化挑战。