# AI基础设施

共 1498 篇相关文章

数据中心开发商Crusoe获39亿美元融资,估值达309亿

AI基础设施公司Crusoe宣布完成39亿美元F轮融资,估值升至309亿美元。资金将用于建设德克萨斯州阿比林等大型数据中心及推广模块化Spark设施。Crusoe业务涵盖空间租赁、GPU出租及算力销售,客户包括Meta和微软。

Google DeepMind成立研究所,Hassabis提议设AI标准机构

Google与DeepMind宣布成立深度智能研究所,旨在推动AGI讨论。联合创始人Shane Legg任管理编辑。Demis Hassabis在首期论文中提议由美国主导设立前沿AI标准机构,要求模型发布前30天自愿提交审查,并开发独立评估测试以防止针对性优化。

PrismML发布Bonsai 2:Qwen3.8模型压缩至5.9GB

AI实验室PrismML发布新一代模型Bonsai 2,基于阿里Qwen3.8 27B压缩而成。通过“外部权重”技术将内存占用减少9-10倍至5.9GB,基准匹配率达98%,旨在让大模型在PC和手机端本地免费运行。

Anthropic公布AI研发指标:Claude主导26%工作

Anthropic发布三项衡量AI研发进程的指标,显示其聊天机器人Claude已“领导”公司约26%的AI研发工作。该数据旨在提升透明度,回应近期关于AI安全与自主性的讨论,同时强调人类仍保持监督角色。

FAA斥资8.75亿美元部署AI空管系统SMART

美国联邦航空管理局(FAA)即将启用由Airspace Intelligence开发的AI软件SMART,合同金额达8.75亿美元。该系统基于云平台,利用人工智能综合分析航班、天气及空域数据以预测交通流量并识别潜在冲突,初期将在华盛顿特区大都会地区部署,旨在缓解空中交通管制员短缺问题。

LLM辅助写作:拒绝代笔,仅做编辑的两条铁律

文章提出利用LLM改进写作的两条核心规则:一是绝不采用模型建议的词语,以防陷入“杂志标题”式腔调;二是警惕模型的过度鼓励,避免丧失自我反思。作者主张将LLM视为不知疲倦的校对员,用于识别被动语态、冗余修饰及段落结构问题,同时保留个人风格与最终判断权。

Bend推出LAWS.bend:用形式化证明拦截AI错误代码

Bend语言新增LAWS.bend机制,要求AI代理在修改代码时提供数学证明。开发者声明代码约束后,编译器将强制检查,阻止违反规则的代码合并。相比仅依赖自觉的AGENTS.md,该机制通过形式化验证确保AI生成的代码符合逻辑定律。

AI代理规模失控,业界转向用AI监控AI

面对OpenAI“拥抱脸”事件中近12000个代理协调速度超越人类追踪能力的困境,业界正引入AI监控系统。Apollo、Goodfire等公司推出基于多层监视器或内部信号检测的工具。尽管存在被恶意AI欺骗的风险及思维链可见性降低的挑战,Y Combinator已资助超百家相关初创企业,试图解决这一安全难题。

AI安全之争:技术议题还是规则制定权博弈

Anthropic、OpenAI等高管呼吁放缓AI发展并加强国际协作,而Meta及Reddit高管主张行业自主监管。随着政府监管缺位,大型科技公司筹建私营标准组织,引发关于“监管捕获”及谁掌握AI规则制定权的激烈争论。

AI伪造歌曲冒用艺人身份骗版税,Spotify审核存漏洞

404媒体揭露有人利用Suno等AI工具生成歌曲,通过DistroKid等平台冒用真实艺术家名义在Spotify发布以骗取版税。该流程缺乏实质审核,中小独立艺人受害严重。尽管Spotify推出验证标识和过滤机制,但每日仍有约5万首AI歌曲上传,源头治理仍面临挑战。