随着AI编程系统的广泛应用，其生成的代码可能潜藏严重缺陷与安全漏洞，因此对AI产出的代码进行有效验证变得至关重要。OpenAI近期提出了一种规模化代码验证的实用方法，并优化了其代理式代码审查员。该方案旨在以较低...

人工智能领域迎来重要开源进展。Mistral AI正式发布了其新一代Mistral 3系列模型，该系列包含两大技术路线：一是三款不同规模的密集模型（参数规模分别为140亿、80亿和30亿），二是备受瞩目的Mistral Large 3稀疏混...

亚马逊云科技（AWS）在自研AI芯片领域持续发力，近日正式发布了其第三代AI训练专用芯片——Trainium3。这款芯片在性能规格上表现亮眼，标志着AWS在降低AI计算成本、提供多元化算力解决方案方面迈出了重要一步。值得注...

近日，GitHub上开源了一个名为ViBT（Vision Bridge Transformer）的项目，该项目将布朗桥模型（Brownian Bridge Models）扩展至高达200亿参数规模，专门用于高效的图像与视频条件生成任务。ViBT的核心创新在于其采用...

苹果公司在Hugging Face平台开源了STARFlow与STARFlow-V模型，标志着图像与视频生成领域迎来了一项重要的技术进展。STARFlow是一种创新的Transformer自回归流模型，其核心在于巧妙地将自回归模型强大的表达能力与归...

在NeurIPS 2024大会上，NVIDIA发布了一系列面向数字与物理世界AI开发的新工具，其中最引人注目的是推出了全球首个面向移动出行领域的开源、工业级推理视觉语言动作模型——NVIDIA DRIVE Alpamayo-R1。该模型专为自动驾...

近日，一个名为 Ghostty 的终端模拟器项目推出了其 Web 版本，该项目通过 WebAssembly 技术将 Ghostty 编译为可在浏览器中运行的格式，并实现了与业界广泛使用的 xterm.js 终端 API 的兼容性。这一进展意味着开发者...

近期，一项由AI智能体主导的安全审计在区块链智能合约中发现了价值高达460万美元的潜在安全漏洞。这一事件凸显了人工智能技术在提升区块链安全领域的巨大潜力。传统的智能合约审计通常依赖于人工专家，过程耗时且可...