「自动代码审查」共找到 2165 篇相关文章
535B大模型“直播”训练三个月：代码、数据、Loss全公开，吴恩达公开力挺
当多数模型公司还在争论是否开放权重时，斯坦福大学的Marin项目启动535B-A23B模型训练，并公开训练过程。该项目旨在探索基础模型能否像开源软件一样被公开研究和建设，引发关注。
Vercel 发布新语言 Zero：代码不是写给人看的，而是写给 AI 的
Vercel Labs 发布实验性系统编程语言 Zero，定位是速度快、体积小且便于智能体使用修复。Zero 有工具链契约等特色，v0.3.0 有重大转变，不过在 Hacker News 上遭部分质疑。
传奇黑客首次造出“透明芯片”，从硬件到代码全部公开可验证
8月初第34届Defcon黑客大会，主办方发放美籍华裔黑客黄欣国设计的徽章，核心是开源微控制器Baochip - 1x。该芯片从设计到制造全开放可验证，用红外原位检测，还集成硬件加固手段，安全性能对标商用元件。
Cursor改变了写代码的方式，云电脑改变了跑Cursor的方式
AI编程已成核心生产力，但Cursor等工具对硬件要求高，运行卡顿。问题不在电脑配置低，而在于AI工具不应挤在常用电脑里。无影云电脑作为‘第二桌面’，能让AI在云端运行，与第一桌面互不干扰。
博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了
近日，Agentic AI工程师Dan McAteer实验发现，OpenAI Codex的Goal Mode完成机械可解释性研究任务，效率比博士高40倍。Codex /goal模式能自主循环，契合科研流程。此外，递归自我改进证据涌现，AGI或早已实现。
颠覆无线电常识！新技术把干扰信号变算力，自动驾驶掉线难题有望解决
一项名为空中计算（OAC）的新技术有望颠覆无线网络系统设计标准，它能将无线信号干扰转化为计算能力，降低拥塞和能耗。目前已有原型机实现95%图像识别准确率，预计30年代走向标准化，但面临移动性等挑战。
一行代码，Claude成本直降85%！最强Opus做大脑，Sonnet疯狂搬砖
Anthropic深夜发布Claude「顾问策略」，让Opus 4.6当「顾问」，Sonnet/Haiku当「执行者」，实测性能翻倍、成本降85%。还带来Monitor工具更新，加上此前的Managed Agents等，构建完整Agent平台。
字节清华智能体自动写CUDA内核，比torch.compile加速2.11倍
字节Seed与清华AIR团队开源CUDA Agent，在GPU内核优化基准KernelBench上成绩优异。它是大规模智能体强化学习系统，训练数据经多阶段构建，分阶段训练，全面超越商业模型，还开源了训练数据集。
马斯克「脑机第一人」首爆！不开颅在线升级，永生代码已写入
Neuralink首位人类受试者Noland Arbaugh自曝大脑芯片更新方式和特斯拉类似，可在线升级。如今奥特曼入局，其参与创立的Merge Labs获2.52亿美金种子轮融资，要做更大规模脑机接口。
看到苹果和谷歌重磅联合声明的时候，我正在用 Gemini 写代码
苹果与谷歌达成合作，下一代Apple Foundation Models将基于Google的Gemini模型和云技术构建，为Apple Intelligence功能提供底层支撑。此前Apple Intelligence节奏慢、能力跳票，苹果或借Gemini补短板。