大模型工程

还记得《流浪地球2》里的那台550W量子计算机吗？ 电影里，MOSS最让人印象深刻的点，除了其强大算力，还有它可以根据需求，实时生成底层操作系统的能力。 如果现在告诉你，我们已经在从“人类需求”生成“底层系统”这件事上迈出了关键一步呢？ 来自上海交大IPADS实验室的研究团队，面对自动生成操作系统核心组件的难题，做出了全新的尝试。这项研究成果也即将亮相文件系…

AI是否已撞上天花板？这份「最重要的图表」直击灵魂：2019-2025年任务时长每几个月翻倍，揭示编码智能体从「短跑选手」向「马拉松冠军」的华丽蜕变。AGI不是梦，而是触手可及的现实！ 2025年即将结束，AI领域的真正高手并非谷歌或OpenAI，而是来自Anthropic的王者编程模型——Claude Opus 4.5。 根据METR最新报告，Claude…

这流畅的游戏动作，堪比技术流玩家的实况画面。尤其是《茶杯头》中的躲避、跳跃、踩灵魂一气呵成，令人惊叹。 最令人震撼的是，上述操作完全由AI完成。 与传统的单一游戏自动化脚本不同，这是一个完整的通用大模型，能够玩遍市面上几乎全部的游戏类型。 这就是来自英伟达的最新开源基础模型——NitroGen。 该模型的训练目标是玩1000款以上的游戏，无论是RPG、平台跳…

大模型的通用性与泛化能力正日益增强。 尽管一些新模型（例如在某些专业任务和智能水平上表现已相当出色的模型）不断涌现，但它们距离我们通常所理解的通用人工智能（AGI）依然十分遥远。 然而，这恰恰说明业界对AGI的实现仍抱有巨大的热情与信心，或许下一款突破性的大模型就能初步触及AGI的构想。 不过，卡耐基梅隆大学教授、AI2研究所科学家Tim Dettmers近…

本研究的共同第一作者是来自香港科技大学（广州）EnVision Research 的张鸿飞（研究助理）和陈康豪（博士研究生），两位研究者均师从陈颖聪教授。 你的生成模型真的「懂几何」吗？还是只是在假装对齐相机轨迹？ 当前众多视频生成模型虽宣称具备「相机运动控制」能力，但其控制信号通常仅依赖于相机位姿。虽近期工作通过逐像素射线方向（Ray Condition）…

这流畅的游戏操作，堪比技术流玩家的实况画面。尤其是《茶杯头》中的躲避、跳跃、攻击一气呵成，令人惊叹。 最令人震撼的是，这些操作完全由AI完成。 与传统的单一游戏自动化脚本不同，这是一个完整的通用大模型，能够玩遍市面上几乎全部的游戏类型。 这就是英伟达最新开源的基础模型——NitroGen。 该模型的训练目标是玩转1000款以上的游戏，无论是RPG、平台跳跃、…

本研究的共同第一作者是来自香港科技大学（广州）EnVision Research 的张鸿飞（研究助理）和陈康豪（博士研究生），两位研究者均师从陈颖聪教授。 你的生成模型真的「懂几何」吗？ 当前众多视频生成模型虽宣称具备「相机运动控制」能力，但其控制信号通常仅依赖于相机位姿。近期工作虽通过逐像素射线方向（Ray Condition）编码了运动信息，但由于模型仍…

在不同项目里反复做同样的事会耗尽你的时间和注意力。原本几秒钟就该跑完的代码，常常变成缓慢而凌乱的流程。许多开发者把数小时花在本可以交给库即时处理的工作上。 选对库可以消除摩擦、加速自动化。它们让你把精力放在解决问题上，而不是管理样板代码。借助这些工具，重复性工作会更快、更少出错。 1. Ovld 🦄 Ovld 允许你按参数类型对 Python 函数进行重载，…

关键词： RISC-V Vector Intrinsic、Code Migration、Benchmark、Large Language Model、Intrinsic Code VecIntrinBench: Benchmarking Cross-Architecture Intrinsic Code Migration for RISC-V Vector…

关键词： Abstract Transformers 、Program Synthesis 、MLIR、Static Analysis 、 Compiler Optimization 、Formal Verification 不再依赖人工编写，一个框架让编译器拥有更精确的静态分析能力。 编译器是现代软件基础设施的基石之一，它们不仅将高级语言代码翻译成机器指令…